A Physical Design verification framework for superconducting electronics
Date
2019-12
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
ENGLISH ABSTRACT: A new parameterized methodology for solving physical design verification for superconductor digital electronics (SDE) is proposed. Circuit verification
tools forms an important part in integrated circuit (IC) design. This dissertation introduces a new physical verification framework, called SPiRA, that is
composed of three modules: Parameterized Cells (PCells), Design Rule Checking (DRC) and Layout-versus-Schematic (LVS). These form part of the electronic design automation (EDA) verification toolchain for SDE. The proposed
framework uses a combination of Python and metaprogramming to create a modular approach to verifying SDE circuits. The goal of the PCells framework
is to create efficient layout generators for superconductor electronics, while at the same time checking for design rule violations. The LVS module is responsible for verifying if the designed circuit layout corresponds to the original simulated schematic. Parameter extraction for superconductor circuit
technologies, such as single flux quantum (SFQ), requires an input netlist that corresponds to the circuit layout. The parameter extraction model is only as good as the given netlist, which makes LVS an essential piece in the
parameter extraction phase. The proposed LVS module uses a parameterizedhierarchical methodology, which is process independent. The framework is capable of supporting any kind of superconducting- or quantum circuit technology,
such as Rapid-Single-Flux-Quantum (RSFQ), Energy-effiecient RSFQ (ERSFQ, eSFQ) or Adiabatic Quantum Flux Parametron (AQFP).
AFRIKAANSE OPSOMMING: n Nuwe geparameteriseerde metode vir die oplos van fisiese ontwerp verifikasie vir supergeleier digitale elektronika (SDE) word voorgestel. Stroombaan verifikasie gereedskap vorm ’n belangrike deel in die geïntegreerde stroombaan (IC) ontwerp. Hierdie desertasie stel bekend ’n nuwe fisiese verifikasie raamwerk, genaamd SPiRA, wat bestaan uit drie modules: "Parameterized Cells (PCells)", "Design Rule Checking (DRC)", en "Layout-versus-Schematic (LVS)". Dit maak deel van die elektroniese ontwerp outmatisering (EDA) verifikasie sagteware vir SDE. Die voorgestelde raamwerk gebruik ’n kombinasie van Python en meta-programming om ’n modulere benadering te skep om SDE-stroombane te verifieer. Die doel van die PCell-raamwerk is om doeltreffende uitleggenerators vir supergeleier electronika te skep, terwyl ontwerpreël oortredings terselfdetyd nagegaan word. Die LVS-module is verantwoordelik vir die verifiëring van die ontwerpuitleg en bepaal of dit ooreenstem met die oorspronklike gesimuleerde uitleg. Parameteronttrekking vir supergeleier stroombaan tegnologie, soos "Single Flux Quantum (SFQ)", vereis dat ’n stroombaan ooreenstem met die fisiese uitleg. Die akkuraatheid van die parameter ekstraksie model word grootliks bepaal deur die gegewe stroombaan, daarom is LVS ’n noodsaaklike aspek in die parameter ontrekking fase. Die voorgestelde LVS-module gebruik ’n parameter-hierargiese metodologie, wat proses onafhanklik is. Die raamwerk is in staat om enige soort supergeleidende stroombaan tegnologie te ondersteun, soos Rapid-Single-Flux-Quantum (RSFQ), Energie-effektiewe RSFQ (ERSFQ, eSFQ) of Adiabatic Quantum Flux Parametron (AQFP).
AFRIKAANSE OPSOMMING: n Nuwe geparameteriseerde metode vir die oplos van fisiese ontwerp verifikasie vir supergeleier digitale elektronika (SDE) word voorgestel. Stroombaan verifikasie gereedskap vorm ’n belangrike deel in die geïntegreerde stroombaan (IC) ontwerp. Hierdie desertasie stel bekend ’n nuwe fisiese verifikasie raamwerk, genaamd SPiRA, wat bestaan uit drie modules: "Parameterized Cells (PCells)", "Design Rule Checking (DRC)", en "Layout-versus-Schematic (LVS)". Dit maak deel van die elektroniese ontwerp outmatisering (EDA) verifikasie sagteware vir SDE. Die voorgestelde raamwerk gebruik ’n kombinasie van Python en meta-programming om ’n modulere benadering te skep om SDE-stroombane te verifieer. Die doel van die PCell-raamwerk is om doeltreffende uitleggenerators vir supergeleier electronika te skep, terwyl ontwerpreël oortredings terselfdetyd nagegaan word. Die LVS-module is verantwoordelik vir die verifiëring van die ontwerpuitleg en bepaal of dit ooreenstem met die oorspronklike gesimuleerde uitleg. Parameteronttrekking vir supergeleier stroombaan tegnologie, soos "Single Flux Quantum (SFQ)", vereis dat ’n stroombaan ooreenstem met die fisiese uitleg. Die akkuraatheid van die parameter ekstraksie model word grootliks bepaal deur die gegewe stroombaan, daarom is LVS ’n noodsaaklike aspek in die parameter ontrekking fase. Die voorgestelde LVS-module gebruik ’n parameter-hierargiese metodologie, wat proses onafhanklik is. Die raamwerk is in staat om enige soort supergeleidende stroombaan tegnologie te ondersteun, soos Rapid-Single-Flux-Quantum (RSFQ), Energie-effektiewe RSFQ (ERSFQ, eSFQ) of Adiabatic Quantum Flux Parametron (AQFP).
Description
Thesis (PhD)--Stellenbosch University, 2019.
Keywords
Hardware verification, Electric lines -- Superconducting, Circuits, Electric