Blame · simple/scripts/fsm_recode_encoding_binary_twice.ys · 3da817a2cca5f2ce835ff210067fc26ea8cd31ce · lvzhengyang / yosys-tests · GitLab

Normal view History Permalink

fsm_recode_encoding_binary_twice.ys 178 Bytes

Newer Older

Add new tests to 'simple' and 'misc' groups c02cd167 SergeyDegtyar committed 5 years ago	1 2 3 4 5 6 7 8	`read_verilog ../top.v proc fsm_detect fsm_extract fsm_recode -encoding binary fsm_recode -encoding binary opt fsm_opt`
Add checks for certain cell type into 'simple' tests. 9ab6e149 SergeyDegtyar committed 5 years ago	9	`tee -o result.log dump`
Add new tests to 'simple' and 'misc' groups c02cd167 SergeyDegtyar committed 5 years ago	10 11	`synth -top top write_verilog synth.v`