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

Add SVA within support 

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-06 14:41:27 +01:00
parent 5555292ce2
commit 78f2cca2d9
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
frontends/verific/verificsva.cc
View File

@ -1179,10 +1179,26 @@ struct VerificSvaImporter
return node;
}
if (inst->Type() == PRIM_SVA_INTERSECT)
if (inst->Type() == PRIM_SVA_INTERSECT || inst->Type() == PRIM_SVA_WITHIN)
{
SvaFsm intersect_fsm(clocking);
intersect_fsm.createLink(parse_sequence(intersect_fsm, intersect_fsm.startNode, inst->GetInput1()), intersect_fsm.acceptNode);
if (inst->Type() == PRIM_SVA_INTERSECT)
{
intersect_fsm.createLink(parse_sequence(intersect_fsm, intersect_fsm.startNode, inst->GetInput1()), intersect_fsm.acceptNode);
}
else
{
int n = intersect_fsm.createNode();
intersect_fsm.createLink(intersect_fsm.startNode, n);
intersect_fsm.createEdge(n, n);
n = parse_sequence(intersect_fsm, n, inst->GetInput1());
intersect_fsm.createLink(n, intersect_fsm.acceptNode);
intersect_fsm.createEdge(n, n);
}
intersect_fsm.in_cond_mode = true;
intersect_fsm.createLink(parse_sequence(intersect_fsm, intersect_fsm.startNode, inst->GetInput2()), intersect_fsm.condNode);
intersect_fsm.in_cond_mode = false;