A theoretical analysis and experimental verification of the signal properties of the GaAs MESFET mixer are presented. Experimental techniques for evaluating some of the mixer parameters are described. Experiments performed on GaAs MESFET mixers at X band show that good noise performance and large dynamic range can be achieved with conversion gain. A conversion gain over 6 dB is measured at 7.8 ...

In this paper, injection-locked MESFET oscillators are analyzed using several numerical models. The injectionlocking behavior of the van der Pol equation and of a more complex representation using the Curtice–Cubic MESFET model are investigated. Analysis and experimental results are compared for an NE71083 transistor oscillator operating at 0.5 GHz. The deficiencies of using a van der Pol oscil...

Abstract: The analysis of transversal filters based on a novel cell design in common-source configuration (TF-CS) is presented. Based on this approach, a distributed transversal filter was designed as a monolithic microwave integrated circuit (MMIC) for optical-CDMA receiver systems [1]. In order to assess its performance, a transversal filter based on Gilbert cells (TF-GC) was designed using t...

The purpose of this paper is to present a methodology for the evaluation of the Defect Level in an IC design environment. The methodology is based on the extension of Williams-Brown formula to non equiprobable faults, which are collected from the IC layout, using the information on a typical IC process line defect statistics. The concept of weighted fault coverage is introduced, and the Defect ...

Formal Synthesis is a methodology developed at Kent for combining circuit design and veriication. We have reinterpreted this methodology in Isabelle's theory of higher-order logic so that circuits are synthesized using higher-order resolution. Our interpretation sim-pliies and extends Formal Synthesis both conceptually and in implementation. It also supports integration of this development styl...