mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

script added

Browse source
This commit is contained in:
Ahmed Irfan 2014-01-18 21:54:52 +01:00
parent 90483f489b
commit 234d0d0e1c
2 changed files with 28 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

11
btor.ys
View file

@ -1,10 +1,3 @@
#design should be loaded before executing
#set the: hierarchy -top <module_top>
#set the: hierarchy -libdir <dir>
#high level synthesis
#################
#converting processes to cells
proc;
opt; opt_const -mux_undef; opt;
rename -hide;;;
@ -17,6 +10,6 @@ flatten;;
memory_unpack;
#cell output to be a single wire
splitnets -driver;
setundef -zero -undriven;
opt;;;
#writing btor
write_btor design.btor;

26
verilog2btor.sh Executable file
View file

@ -0,0 +1,26 @@
#!/bin/sh
#
# Script to writing btor from verilog design
#
if [ "$#" -ne 3 ]; then
echo "Usage: $0 input.v output.btor top-module-name" >&2
exit 1
fi
if ! [ -e "$1" ]; then
echo "$1 not found" >&2
exit 1
fi
FULL_PATH=$(readlink -f $1)
DIR=$(dirname $FULL_PATH)
./yosys -p "
read_verilog $1;
hierarchy -top $3;
hierarchy -libdir $DIR;
hierarchy -check;
script btor.ys;
write_btor $2;"