A basic mathematical formalism for representation and analysis of RF/microwave EDA and design flows

Michael Heimlich*, Carl Svensson

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Abstract

A mathematical formalism is developed for RF/microwave design flows using category theory as a means for creating a formal foundation for their analytical and empirical, rather than anecdotal, study. A simplified model of design flow is developed using categories to capture the essential structure and dynamics of the schematic, layout, and behavior of both in terms of electrical phenomena. Specifically, schematics and layouts are defined as separate monoidal cateogries and the behaviors is defined as sets of name-value pairs. Functions, or morphisms, within and between these categories are explored for interconnect design and analysis in particular, and show typical EDA features such as forward- and back-annotation, portioning, simulation, and analysis. Traditional microwave and analog design are separately investigated using this formalism and found to be in agreement with expected outcomes. A new design flow and supporting EDA tool are identified based on the mathematical implications of the category theory models and associated design flow constraints of top-down design and design closure.

Original languageEnglish
Title of host publication2012 IEEE 13th Annual Wireless and Microwave Technology Conference, WAMICON 2012
Place of PublicationPiscataway, N.J.
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages1-8
Number of pages8
ISBN (Electronic)9781467301305
ISBN (Print)9781467301299
DOIs
Publication statusPublished - 2012
Event2012 IEEE 13th Annual Wireless and Microwave Technology Conference, WAMICON 2012 - Cocoa Beach, FL, United States
Duration: 15 Apr 201217 Apr 2012

Other

Other2012 IEEE 13th Annual Wireless and Microwave Technology Conference, WAMICON 2012
CountryUnited States
CityCocoa Beach, FL
Period15/04/1217/04/12

Fingerprint Dive into the research topics of 'A basic mathematical formalism for representation and analysis of RF/microwave EDA and design flows'. Together they form a unique fingerprint.

Cite this