Verification of a computer that implements a new architecture is especially difficult since no approved functional test cases are available. The logic design of the IBM RiSe System/6000 TII was verified mainly by a specially developed random test program generator (RTPG), which was used from the early stages of the design until Its successful completion. APL was chosen for the RiSe System/6000 RTPG implementation after considering the suitability of this programming language for modeling computer architectures, the very tight schedule, and the highly changeable environment in which RTPG would operate.T he ultimate goal of design verification is to ensure equivalence between a design and its functional specification. Strictly speaking, we can say that this goal can be achieved by exhaustive simulation or formal proof of correctness. The exhaustive simulation, in which all possible combinations of all inputs and memory elements of the design should be applied, can be done only for very small designs. Also, the state of the art of the formal techniques and the complexity of designs and specifications, usually written in English, do not allow utilization of the formal techniques in most industrial applications. 1 Despite significant progress
We present an inexpensive technique to obtain a three-dimensional (3D) millimeter wave (MMW) and terahertz (THz) image using upconversion. In this work we describe and demonstrate a method for upconversion of MMW/ THz radiation to the visual band using a very inexpensive miniature glow discharge detector (GDD) and a silicon photodetector. We present MMW/THz upconversion images based on measuring the visual light emitting from the GDD rather than its electrical current. The results show better response time and better sensitivity compared to the electronic detection performed previously. Furthermore, in this work we perform frequency modulation continuous wave (FMCW) radar detection based on this method using a GDD lamp, with a photodetector to measure GDD light emission. By using FMCW detection, the range in addition to the intensity at each pixel can be obtained, thus yielding the 3D image. The GDD acts as a heterodyne mixer not only electronically but also optically. The suggested 3D upconversion technique using the GDD is simple and inexpensive and has better performance compared to other MMW/THz imaging systems suggested in the literature. This method provides minimum detectable signal power that is about 6 orders of magnitude better than similar plasma systems due to the very large internal signal gain deriving from the much smaller electrode separation and resulting in much higher plasma electric field.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.