• Home
  • Search
  • A basic mathematical formalism for representation and analysis of RF/microwave EDA and design flows
  • https://doi.org/10.1109/wamicon.2012.6208433Copy DOI Icon

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

  • Apr 1, 2012
  • Michael Heimlich +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
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.

Similar Papers
  • Conference Article
  • Citations67

Automation of Analog IC Layout

  • Mar 29, 2015
  • Juergen Scheible +1
  • Research Article
  • Citations62

ABCDPlace: Accelerated Batch-Based Concurrent Detailed Placement on Multithreaded CPUs and GPUs

  • Dec 01, 2020
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • Yibo Lin +5
  • Conference Article
  • Citations1

System LSI distributed collaborative design environment for both designers and CAD developers/engineers

  • Jan 01, 2006
  • Masahiro Fujita +2
  • Book Chapter
  • Citations1

Methodologies for Physical Design: Models, Styles, Tasks, and Flows

  • Jan 01, 2020
  • Jens Lienig +1
  • Book Chapter

Hardware Design of Individual Components

  • Aug 13, 2013
  • Frank Kienle
  • PDF
  • Research Article
  • Citations8

Towards a formal multi-agent organizational modeling framework based on category theory

  • Jun 15, 2021
  • Informatica
  • Abdelghani Boudjidj +2
  • Conference Article
  • Citations10

UVM-AMS based sub-system verification of wireless power receiver SoC

  • Oct 01, 2014
  • Chao Liang +3
  • PDF
  • Research Article
  • Citations1

How to Use Remote Labs for Enhancing E-Learning on PSoCs

  • Apr 28, 2016
  • International Journal of Online and Biomedical Engineering (iJOE)
  • Manuel Carlos Felgueiras +4
  • Research Article

(Invited) Wide Bandgap Analog and Mixed-Signal IC Design for Advanced Power Electronics

  • Apr 27, 2017
  • Electrochemical Society Transactions
  • H Alan Mantooth
  • Conference Article

Performance Improvement using Application-Specific Instructions under Hardware Constraints

  • Jan 01, 2008
  • Chijie Lin +5
  • Conference Article
  • Citations2

DFY/DFM - design for yield and manufacturability (industrial tutorial)

  • Jan 01, 2004
  • A Ripp +3
  • Research Article
  • Citations30

Theoretical simulation and experimental validation of inverse quasi-one-dimensional steady and unsteady glottal flow models

  • Jul 01, 2008
  • The Journal of the Acoustical Society of America
  • Julien Cisonni +3
  • Conference Article
  • Citations12

Fast analog design optimization using regression-based modeling and genetic algorithm: A nano-CMOS VCO case study

  • Mar 01, 2013
  • D Ghai +2
  • Conference Article

Coupling Of Synthesis And Layout: Challenges And Solutions

  • Feb 10, 1998
  • J Cong
  • Conference Article

Application-independent hierarchical synthesis methodology for analogue circuits

  • Sep 23, 1994
  • R Wittmann +5
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.