mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

Added $assume cell type

Browse source
This commit is contained in:
Clifford Wolf 2015-02-26 18:04:10 +01:00
parent 27a918eadf
commit b005eedf36
5 changed files with 57 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
kernel/rtlil.cc
View file

@ -941,6 +941,13 @@ namespace {
return;
}
if (cell->type == "$assume") {
port("\\A", 1);
port("\\EN", 1);
check_expected();
return;
}
if (cell->type == "$equiv") {
port("\\A", 1);
port("\\B", 1);