diff options
| author | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2015-04-03 16:45:54 +0200 |
|---|---|---|
| committer | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2015-04-03 16:45:54 +0200 |
| commit | ed750f0a55a5daf52ba557dd28689e5719700c25 (patch) | |
| tree | 66adfe65abbb0319bbac10ea500311cb493c1cfd /backends | |
| parent | e82e4f7df4614a97a0ce60affe95f91237acc446 (diff) | |
Delete btor.ys
.ys script not needed
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.ys | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys deleted file mode 100644 index ec28245d..00000000 --- a/backends/btor/btor.ys +++ /dev/null @@ -1,18 +0,0 @@ -proc; -opt; opt_const -mux_undef; opt; -rename -hide;;; -#converting pmux to mux -techmap -share_map pmux2mux.v;; -#explicit type conversion -splice; opt; -#extracting memories; -memory_dff -wr_only; memory_collect;; -#flatten design -flatten;; -#converting asyn memory write to syn memory -memory_unpack; -#cell output to be a single wire -splitnets -driver; -setundef -zero -undriven; -opt;;; - |