Login / Signup
A Verification-Aware Design Methodology for Thread Pipelining Parallelization.
Guo-An Jian
Cheng-An Chien
Peng-Sheng Chen
Jiun-In Guo
Published in:
IEICE Trans. Inf. Syst. (2012)
Keyphrases
</>
design methodology
parallel processing
physical design
design criteria
fuzzy neural network
design methodologies
design process
model checking
hw sw
design procedure
object oriented
formal specification
hardware software
knowledge base
expert systems