Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
chformal_assume2assert.ys 73 Bytes
Newer Older
Add new tests to 'simple' and 'misc' test groups
50fc2cde
 
SergeyDegtyar committed
1 
read_verilog -sv ../top.v
Add checks for certain cell type into 'misc' tests.
8f683d8f
 
SergeyDegtyar committed
2 3 
chformal -assume2assert
tee -o result.log dump