Multi-valued simulation of digital circuits with structurally synthesized binary decision diagrams (title)

types of item