Login / Signup
Logic Synthesis and Verification of the CPU and Caches of a Mainframe System.
Huy Nam Nguyen
J. P. Tual
L. Ducousso
Michel Thill
P. Vallet
Published in:
EDAC-ETC-EUROASIC (1994)
Keyphrases
</>
logic synthesis
personal computer
multi valued
heuristic search
memory access
quantum computing
model checking
inductive learning
logic circuits
cache misses
client server
mobile computing
real time
relational databases
search space