Title of the Paper: Specification and Analysis of Hardware Systems Using Timed
Process Algebras
DOWNLOAD FULL PDF
Authors: K.L. Man
Abstract: The ability of unambiguously specifying (in a mathematical sense) and rigorously analysing timing properties/
constraints is fundamental to design correct hardware systems. Formalisms in which hardware behaviour
and timing properties can be precisely captured is a mandatory prerequisite for designing correct hardware systems
(discrete-time systems by nature). Timed process algebras are such formalisms. To show that timed process
algebras are useful for formal specification and analysis of hardware systems, in this paper, we illustrate the use of
a timed process algebra called timed Chi (Â) with several benchmark examples of hardware systems.
Keywords: Formal languages, Formal semantics, Process algebras, Real-time systems, Formal specification and
analysis, Hardware systems
Title of the Paper: Design and Analysis of 4-GHz
SOP FMCW HMIC Radar
DOWNLOAD FULL PDF
Authors: Said H. Ibrahim
Abstract: The demand for higher performance systems that are smaller and have the potential to be more
cost effective has lead hardware designers to adopt integration of many components and modules in a
package (SOP) or on a chip (SOC). A compact SOP (single-substrate) L-band FMCW HMIC radar
module for high-resolution sensor application has been demonstrated. For use with a single transmitreceive
antenna, a miniature microstrip hexaferrite circulator has been integrated to the transceiver module.
The module was based on a transceiver HMIC with an integrated branch divider and 5-port ring coupler to
enable both broadband modulation and single-antenna operation. The integrated substrate size could be
reduced to 40 cm2. The analysis of the designed radar is introduced which reflects a good performance and
achieves a higher efficiency.
Keywords: Computational Microstrip Circuit Design, Microwave Circuits, Computer Aided Design
|
