bddplot
bidirs
clear
close
compare
date
dbsize
design
designs
eval
events
exit
flow
flowchart
functions
gates
hdl
hier
history
info
init
inits
inputs
instances
levels
libs
link
linked
listlib
menu
menuitem
new
outputs
parameters
pop
ports
prove
push
quit
reach
read
readlib
regs
remove
removelib
report
reportlib
restrict
restrictions
setbdd
sources
spaces
stack
support
targets
tasks
types
uninit
unlink
unrestrict
wires