mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-01 17:03:19 +00:00
Code Activity

Added sequential solving support to sat_solve

Browse source
This commit is contained in:
Clifford Wolf 2013-06-09 13:35:46 +02:00
parent 6f330f0132
commit 0efde13775
3 changed files with 261 additions and 93 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/sat/example.ys
View file

@ -4,3 +4,4 @@ sat_solve -set y 1'b1 example001
sat_solve -set y 1'b1 example002
sat_solve -set y_sshl 8'hf0 -set y_sshr 8'hf0 -set sh 4'd3 example003
sat_solve -set y 1'b1 example004
sat_solve -show rst,counter -set-at 3 y 1'b1 -seq 4 example004