Extracting logic circuit structure from conjunctive normal form descriptions
10.1109/VLSID.2007.81
Saved in:
Main Authors: | Fu, Z., Malik, S. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40377 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A Quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic
by: Le, Xuan-Bach, et al.
Published: (2023) -
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
by: LE, Xuan Bach, et al.
Published: (2022) -
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
by: LE, Xuan Bach, et al.
Published: (2022) -
Translation of HDL circuit description to circuit netlist
by: Ma, Su Yamin
Published: (2008) -
Tuberculous conjunctivitis
by: Burana Chavalittamrong, et al.
Published: (2018)