mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 09:05:32 +00:00
Code Activity

Added $equiv cell type

Browse source
This commit is contained in:
Clifford Wolf 2015-01-19 11:55:05 +01:00
parent 3a58b8d5b5
commit e13a45ae61
4 changed files with 33 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
kernel/celltypes.h
View file

@ -114,6 +114,7 @@ struct CellTypes
setup_type("$fa", {A, B, C}, {X, Y}, true);
setup_type("$assert", {A, EN}, pool<RTLIL::IdString>(), true);
setup_type("$equiv", {A, B}, {Y}, true);
}
void setup_internals_mem()

8
kernel/rtlil.cc
View file

@ -905,6 +905,14 @@ namespace {
return;
}
if (cell->type == "$equiv") {
port("\\A", 1);
port("\\B", 1);
port("\\Y", 1);
check_expected();
return;
}
if (cell->type == "$_BUF_") { check_gate("AY"); return; }
if (cell->type == "$_NOT_") { check_gate("AY"); return; }
if (cell->type == "$_AND_") { check_gate("ABY"); return; }