github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-04-06 04:32:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commentary: Fix typo of concurrent (#4332)

Browse Source
This commit is contained in:
أحمد المحمودي 2023-07-02 23:12:09 +03:00 committed by GitHub
parent 3c964147be
commit 71df9e3381
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/CONTRIBUTORS
View File

@ -5,7 +5,6 @@ Please see the Verilator manual for 200+ additional contributors. Thanks to all.
Adam Bagley Adam Bagley
Adrien Le Masle Adrien Le Masle
Ahmed El-Mahmoudy
Aleksander Kiryk Aleksander Kiryk
Alex Chadwick Alex Chadwick
Àlex Torregrosa Àlex Torregrosa
@ -175,3 +174,4 @@ Yutetsu TAKATSUKASA
Yves Mathieu Yves Mathieu
Zhanglei Wang Zhanglei Wang
Zixi Li Zixi Li
أحمد المحمودي

2
src/V3Assert.cpp
View File

@ -157,7 +157,7 @@ private:
sentreep->unlinkFrBack(); sentreep->unlinkFrBack();
if (m_procedurep) { if (m_procedurep) {
// To support this need queue of asserts to activate // To support this need queue of asserts to activate
nodep->v3error("Unsupported: Procedural concurent assertion with" nodep->v3error("Unsupported: Procedural concurrent assertion with"
" clocking event inside always (IEEE 1800-2917 16.14.6)"); " clocking event inside always (IEEE 1800-2917 16.14.6)");
} }
} }

4
test_regress/t/t_assert_procedural_clk.out
View File

@ -1,8 +1,8 @@
%Error: t/t_assert_procedural_clk.v:21:13: Unsupported: Procedural concurent assertion with clocking event inside always (IEEE 1800-2917 16.14.6) %Error: t/t_assert_procedural_clk.v:21:13: Unsupported: Procedural concurrent assertion with clocking event inside always (IEEE 1800-2917 16.14.6)
: ... In instance t : ... In instance t
21 | assume property (@(posedge clk) cyc == 9); 21 | assume property (@(posedge clk) cyc == 9);
| ^~~~~~ | ^~~~~~
%Error: t/t_assert_procedural_clk.v:22:13: Unsupported: Procedural concurent assertion with clocking event inside always (IEEE 1800-2917 16.14.6) %Error: t/t_assert_procedural_clk.v:22:13: Unsupported: Procedural concurrent assertion with clocking event inside always (IEEE 1800-2917 16.14.6)
: ... In instance t : ... In instance t
22 | assume property (@(negedge clk) cyc == 9); 22 | assume property (@(negedge clk) cyc == 9);
| ^~~~~~ | ^~~~~~