Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/180343
28 Visitors
33 Hits
0 Downloads
- Title
- A Basic mathematical formalism for representation and analysis of RF/microwave EDA and design flows
- Related
- IEEE Wireless and Microwave Technology Conference (13th : 2012) (15 - 17 April 2012 : Cocoa Beach, Florida)
- Related
- WAMICON 2012 IEEE Wireless and Microwave Technology Conference : proceedings : 15-17 April 2012, Cocoa Beach, Florida, USA , p.1-8
- DOI
- 10.1109/WAMICON.2012.6208433
- Publisher
- Piscataway, N.J : IEEE
- Date
- 2012
- Author/Creator
- Heimlich, Michael
- Author/Creator
- Svensson, Carl
- Description
- 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.
- Description
- 8 page(s)
- Subject Keyword
- category theory
- Subject Keyword
- circuit design
- Subject Keyword
- design automation
- Subject Keyword
- design flow
- Subject Keyword
- EDA
- Resource Type
- conference paper
- Organisation
- Macquarie University. Dept. of Electronic Engineering
- Identifier
- http://hdl.handle.net/1959.14/180343
- Identifier
- ISBN:9781467301282
- Identifier
- mq_res-ext-2-s2.0-84863614134
- Language
- eng
- Reviewed
List Of Titles
