bin
directory. This is to prevent users from starting Workcraft by double-clicking workcraft.jar
file, without setting necessary environment variables which is done by workcraft
runner script..
is used now as it is natively supported by Petrify and MPSat.__
and hierarchy '/' separators..g
files..g
files for circuit environment..
in IDs so it can be used as a hierarchy separator in Workcraft.-write_sg
and -draw_astg
parameters so no need for symbolic links (or copies) write_sg
and draw_astg
of petrify
binary.1'b1
and 1'b0
insrtead of SIS-style -1-
and -0-
.