mirrors/sby - Libre-Chip.org

mirrors/sby

Fork 0

mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 08:28:16 +00:00

Commit graph

Author	SHA1	Message	Date
Jannis Harder	de939e279a	Run tasks in parallel	2022-08-18 14:38:40 +02:00
Jannis Harder	5265a52b65	Refactor flow to use a common prep model The goal of this is to make sure that all backend flows are compatible and we can map between them, so that e.g. the aiger model can be used to minimize a counterexample trace produced by smtbmc. Reducing the parts that differ per backend (including parts that receive different input depending on the used backend) also makes testing more effective as the common parts are easier to cover.	2022-08-05 16:31:15 +02:00
Jannis Harder	b4458d43d7	Automatic engine selection	2022-06-27 15:58:42 +02:00

Author

SHA1

Message

Date

Jannis Harder

de939e279a

Run tasks in parallel

2022-08-18 14:38:40 +02:00

Jannis Harder

5265a52b65

Refactor flow to use a common prep model

The goal of this is to make sure that all backend flows are compatible
and we can map between them, so that e.g. the aiger model can be used to
minimize a counterexample trace produced by smtbmc. Reducing the parts
that differ per backend (including parts that receive different input
depending on the used backend) also makes testing more effective as the
common parts are easier to cover.

2022-08-05 16:31:15 +02:00

Jannis Harder

b4458d43d7

Automatic engine selection

2022-06-27 15:58:42 +02:00

3 commits