diff options
Diffstat (limited to '')
| -rw-r--r-- | verif/formal/simple_alu/simple_alu_bind.sv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/verif/formal/simple_alu/simple_alu_bind.sv b/verif/formal/simple_alu/simple_alu_bind.sv index b12e0eb..8ed7057 100644 --- a/verif/formal/simple_alu/simple_alu_bind.sv +++ b/verif/formal/simple_alu/simple_alu_bind.sv @@ -12,4 +12,4 @@ bind simple_alu simple_alu_fv u_simple_alu_fv ( .sel (sel), .y (y), .overflow (overflow) -);
\ No newline at end of file +); |