In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
The design guidelines for micro diaphragm-type pressure sensors have been established by characterization of the relationships among diaphragm thickness, side length, sensitivity,...
Xiaodong Wang, Baoqing Li, Onofrio L. Russo, Harry...
We have investigated electrical properties of a chalcogenide-based device with naturally oxidized Al electrodes. Intermediate-resistance (IR) states exhibited by current–voltage...
This paper presents a brief review of our recent work investigating a novel bottom-up approach to realize silicon-based nanoelectronics. We discuss fabrication technique, electron...