github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-05-03 22:16:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

*Ordering Change*: Separate initial and settle when ordering. From threads branch.

Browse Source
This commit is contained in:
Wilson Snyder 2018-06-21 23:12:11 -04:00
parent 011e9f3b0a
commit c1f2b2cf93
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/V3Order.cpp
View File

@ -1004,8 +1004,9 @@ static bool domainsExclusive(const AstSenTree* fromp, const AstSenTree* top) {
// Return 'true' if we can prove that both 'from' and 'to' cannot both
// be active on the same eval pass, or false if we can't prove this.
//
// For now, this only detects the case of 'always @(posedge clk)'
// and 'always @(negedge clk)' being exclusive.
// This detects the case of 'always @(posedge clk)'
// and 'always @(negedge clk)' being exclusive. It also detects
// that initial/settle blocks and post-initial blocks are exclusive.
//
// Are there any other cases we need to handle? Maybe not,
// because these are not exclusive:
@ -1013,6 +1014,13 @@ static bool domainsExclusive(const AstSenTree* fromp, const AstSenTree* top) {
// always @(negedge A)
//
// ... unless you know more about A and B, which sounds hard.
bool toInitial = top->hasInitial() || top->hasSettle();
bool fromInitial = fromp->hasInitial() || fromp->hasSettle();
if (toInitial != fromInitial) {
return true;
}
const AstSenItem* fromSenListp = VN_CAST(fromp->sensesp(), SenItem);
const AstSenItem* toSenListp = VN_CAST(top->sensesp(), SenItem);
// If clk gating is ever reenabled, we may need to update this to handle