aboutsummaryrefslogtreecommitdiffstats
path: root/bugs/vivado/1_minimal.v
diff options
context:
space:
mode:
Diffstat (limited to 'bugs/vivado/1_minimal.v')
-rw-r--r--bugs/vivado/1_minimal.v8
1 files changed, 8 insertions, 0 deletions
diff --git a/bugs/vivado/1_minimal.v b/bugs/vivado/1_minimal.v
new file mode 100644
index 0000000..59cec6c
--- /dev/null
+++ b/bugs/vivado/1_minimal.v
@@ -0,0 +1,8 @@
+(* use_dsp48="no" *) module top
+ (y, wire0);
+ output wire y;
+ input wire wire0;
+ wire [1:0] wire4;
+ assign wire4 = 1'b1;
+ assign y = (wire4 <<< 1'h1) && wire0;
+endmodule