aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/yw.h
Commit message (Collapse)AuthorAgeFilesLines
* sim/formalff: Clock handling for yw cosimJannis Harder2023-01-111-2/+2
|
* sim: Improvements and fixes for yw cosimJannis Harder2023-01-111-0/+12
| | | | | | * Fixed $cover handling * Improved sparse memory handling when writing traces * JSON summary output
* New kernel/yw.{h,cc} to support reading Yosys witness filesJannis Harder2023-01-111-0/+170
This contains parsing code as well as generic routines to associate the hierarchical signals paths within a Yosys witness file to a loaded RTLIL design, including support for memories.