Login / Signup
A General Computational Framework and Simulations of Branching Programs of Boolean Circuits Using Higher Order Logic (HOL) Software - An Insight into ECAD Tool Design Paradigm.
D. N. T. Kumar
Qufu Wei
Published in:
Comput. Inf. Sci. (2012)
Keyphrases
</>
computational framework
higher order logic
higher order
software tools
design tools
user interface
computational model
design process
software architecture
theorem prover
formal methods
conditional logic
tensor voting
source code
simulation environment
artificial intelligence
pairwise
simulation tool
high level