diff options
Diffstat (limited to 'verif/formal/simple_alu/simple_alu_bind.sv')
| -rw-r--r-- | verif/formal/simple_alu/simple_alu_bind.sv | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/verif/formal/simple_alu/simple_alu_bind.sv b/verif/formal/simple_alu/simple_alu_bind.sv deleted file mode 100644 index 8ed7057..0000000 --- a/verif/formal/simple_alu/simple_alu_bind.sv +++ /dev/null @@ -1,15 +0,0 @@ -// Bind file for simple_alu formal verification. -// Attaches simple_alu_fv to every instance of simple_alu in the design. -// RTL is completely unaware of this file. -// -// bind <dut_module> <fv_module> <instance_name> (<port_connections>); - -bind simple_alu simple_alu_fv u_simple_alu_fv ( - .clk (clk), - .rst (rst), - .a (a), - .b (b), - .sel (sel), - .y (y), - .overflow (overflow) -); |