mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 08:35:32 +00:00
Code Activity
12504 commits 94 branches 53 tags 44 MiB
Commit graph

2 commits

Author SHA1 Message Date
Martin Povišer
93988ef5df tests: Extend aigmap.ys with SAT comparison 
Extend the aigmap.ys test with SAT-based comparison of the original
cells and their AIG implementations.

This tests both the usual cells and the single-bit Yosys gates.
 2023-07-31 16:26:50 +02:00
Eddie Hung
8b239ee707 Add quick test 2019-09-30 15:34:04 -07:00