Login / Signup
On Achieving Capture Power Safety in At-Speed Scan-Based Logic BIST.
Akihiro Tomita
Xiaoqing Wen
Yasuo Sato
Seiji Kajihara
Kohei Miyase
Stefan Holst
Patrick Girard
Mohammad Tehranipoor
Laung-Terng Wang
Published in:
IEICE Trans. Inf. Syst. (2014)
Keyphrases
</>
built in self test
high speed
power consumption
fuel consumption
chip design
logic programming
modal logic
real time
automated reasoning
logical framework
theorem prover
multi valued
computational properties
wind turbine
asynchronous circuits
proof theory
power electronics