diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-01-24 15:48:07 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-01-24 15:48:07 +0100 |
commit | 6804edd5d4cc6cca1fbdf7cf6db236d0fcd46538 (patch) | |
tree | 050e881fbf222d07c5dad54767cdbaf9ad9dc810 /backends/btor/btor.ys | |
parent | da26bb43782dc9be3bac66405ce6aad7068500da (diff) |
Moved btor scripts to backends/btor/
Diffstat (limited to 'backends/btor/btor.ys')
-rw-r--r-- | backends/btor/btor.ys | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys new file mode 100644 index 00000000..7f3882b5 --- /dev/null +++ b/backends/btor/btor.ys @@ -0,0 +1,15 @@ +proc; +opt; opt_const -mux_undef; opt; +rename -hide;;; +#converting pmux to mux +techmap -map techlibs/common/pmux2mux.v;; +memory -nomap;; +#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;;; + |