riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Added SatGen support for $anyconst

This commit is contained in:
Clifford Wolf 2016-07-27 15:52:20 +02:00
parent 9540be1d45
commit 8d88fcb270
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
kernel/satgen.h
View File

@ -1319,6 +1319,28 @@ struct SatGen
return true;
}
if (cell->type == "$anyconst")
{
if (timestep < 2)
return true;
std::vector<int> d = importDefSigSpec(cell->getPort("\\Y"), timestep-1);
std::vector<int> q = importDefSigSpec(cell->getPort("\\Y"), timestep);
std::vector<int> qq = model_undef ? ez->vec_var(q.size()) : q;
ez->assume(ez->vec_eq(d, qq));
if (model_undef)
{
std::vector<int> undef_d = importUndefSigSpec(cell->getPort("\\D"), timestep-1);
std::vector<int> undef_q = importUndefSigSpec(cell->getPort("\\Q"), timestep);
ez->assume(ez->vec_eq(undef_d, undef_q));
undefGating(q, qq, undef_q);
}
return true;
}
if (cell->type == "$_BUF_" || cell->type == "$equiv")
{
std::vector<int> a = importDefSigSpec(cell->getPort("\\A"), timestep);