DSLX Function Timeline

generated=2026-04-23T19:45:58.249320262+00:00 | selector=xls/dslx/stdlib/float32.x:is_pos_inf | matched_files=1 | versions=4 | fraig=false | delay_model=asap7

Fraigfalse true

Delay Modelasap7

Functions in selected file:

add | bias | ceil_daz | ceil_with_denorms | eq_2 | fast_rsqrt | fixed_fraction | flatten | floor_daz | floor_with_denorms | fma | from_int32 | from_int32_internal | from_uint32 | gt_2 | gte_2 | has_fractional_part | has_negative_exponent | inf | is_inf | is_nan | is_neg_inf | is_pos_inf | is_zero_or_subnormal | ldexp | lt_2 | lte_2 | max_normal | max_normal_exp | min_normal_exp | mul | negate | normalize | one | qnan | sub | subnormals_to_zero | tag | to_int32 | to_uint32 | trunc | unbiased_exponent | unflatten | zero

IR delay (combinational_critical_path.total_delay_ps)

AIG and nodes: g8r vs yosys/abc

AIG levels: g8r vs yosys/abc

Plotly: click a point to open the corresponding action in a new tab.

Per-Version Data

crate	IR delay ps	g8r and_nodes	g8r levels	yosys and_nodes	yosys levels
`v0.32.0`	163 `a9ed3957975f`	31 `d96732e04d07`	6	31 `1528a78d3e6a`	5
`v0.33.0`	163 `e87835083c1f`	31 `bb1565e395db`	6	31 `e703762058f3`	5
`v0.34.0`	163 `c84c717afd09`	31 `3ca9a4855e5f`	6	31 `da2613592ec7`	5
`v0.35.0`	163 `4536a694925e`	31 `6fe8f7e724f9`	6	31 `9c837789fe75`	5

server 25 ms