diff options
| author | Albert Magyar | 2020-03-03 23:28:12 -0800 |
|---|---|---|
| committer | Albert Magyar | 2020-03-04 12:00:19 -0800 |
| commit | 6a8ea559697002cee3737949af63916b0d8262ae (patch) | |
| tree | 91595ca7a75372c9e673c579b959e9b8d3febe4e /regress/AddNot.fir | |
| parent | b4aebc1a5625978c154ad3879a39be549e659d91 (diff) | |
Incorporate new AddNot formal regression test
* Feedback from @jackkoening
* Merge into same stage as Ops to avoid Travis delays
Diffstat (limited to 'regress/AddNot.fir')
| -rw-r--r-- | regress/AddNot.fir | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/regress/AddNot.fir b/regress/AddNot.fir new file mode 100644 index 00000000..38c72a16 --- /dev/null +++ b/regress/AddNot.fir @@ -0,0 +1,6 @@ +circuit AddNot: + module AddNot: + input a: UInt<8> + input b: UInt<8> + output o: UInt<9> + o <= add(a, not(b)) |