diff options
| author | Dan Gisselquist <zipcpu@gmail.com> | 2018-10-01 19:41:35 +0200 |
|---|---|---|
| committer | Jim Lawson <ucbjrl@berkeley.edu> | 2018-10-08 11:38:10 -0700 |
| commit | d3be61b9dc12f5eb084ae7b5cfaefb8fc8a04de1 (patch) | |
| tree | 346127dcee69b0aa9b909bba8d5fa21212759cb6 | |
| parent | ae8637cd6375143d3a7b8cf4af7cbd85d8e09d8d (diff) | |
| download | yosys-d3be61b9dc12f5eb084ae7b5cfaefb8fc8a04de1.tar.gz yosys-d3be61b9dc12f5eb084ae7b5cfaefb8fc8a04de1.tar.bz2 yosys-d3be61b9dc12f5eb084ae7b5cfaefb8fc8a04de1.zip | |
Add read_verilog $changed support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
| -rw-r--r-- | frontends/ast/simplify.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc index aa3b982d8..71eba547c 100644 --- a/frontends/ast/simplify.cc +++ b/frontends/ast/simplify.cc @@ -1836,7 +1836,7 @@ skip_dynamic_range_lvalue_expansion:; goto apply_newNode; } - if (str == "\\$stable" || str == "\\$rose" || str == "\\$fell") + if (str == "\\$stable" || str == "\\$rose" || str == "\\$fell" || str == "\\$changed") { if (GetSize(children) != 1) log_file_error(filename, linenum, "System function %s got %d arguments, expected 1.\n", @@ -1853,6 +1853,9 @@ skip_dynamic_range_lvalue_expansion:; if (str == "\\$stable") newNode = new AstNode(AST_EQ, past, present); + else if (str == "\\$changed") + newNode = new AstNode(AST_NE, past, present); + else if (str == "\\$rose") newNode = new AstNode(AST_LOGIC_AND, new AstNode(AST_LOGIC_NOT, past), present); |