bruteforce.ys
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

bruteforce.ys
View Options

	read_verilog {{FILE}}

	#map to basic cells
	techmap
	opt;;
	aigmap;;

	splitnets;;
	show -prefix ./temp/{{MODULE}}_bruteforce_aig_{{LIBERTY_USED}} -color orange t:$_NOT_ -color darkred t:$_AND_ -color purple t:$ge -color darkblue t:$ne -color blue t:$le -color maroon t:$add -enum

	write_blif ./temp/{{FILE_BASENAME}}.blif
	write_aiger ./temp/{{FILE_BASENAME}}.aig
	#abc -liberty ./nem_liberty/{{LIBERTY_FILE}} -script "+strash; &get -n; collapse; write_eqn ./temp/{{FILE_BASENAME}}.eqn; &write_truths -x ./temp/{{FILE_BASENAME}}.truth"
	delete

	#IF {{DEPTH}}==0
	exec -- ./mockturtle/build/experiments/muxig_rewriting ./temp/{{FILE_BASENAME}}.blif 1
	#ELSE
	exec -- ./mockturtle/build/experiments/muxig_rewriting ./temp/{{FILE_BASENAME}}.blif 0
	#END

	exec -- python3 ./yosys/map_ports.py ./temp/{{FILE_BASENAME}}.blif ./temp/{{FILE_BASENAME}}_mockturtle.blif

	read_blif ./temp/mapped_{{FILE_BASENAME}}_mockturtle.blif

	rename top {{MODULE}}_nem

	techmap -map ./yosys/mockturtle_map.v

	techmap

	opt_expr

	clean -purge




	abc -liberty ./nem_liberty/{{LIBERTY_FILE}} -script "+attach"

	clean -purge




	write_verilog -selected ./temp/{{FILE_BASENAME}}_nem.v
	#Output stats
	tee -o ./temp/{{FILE_BASENAME}}_MUX.stat stat -liberty ./nem_liberty/{{LIBERTY_FILE}}