Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
A Physical Design verification framework for superconducting electronics
Thesis (PhD)--Stellenbosch University, 2019.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
2019
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867614079036686336 |
|---|---|
| access_status_str | Open Access |
| author | Van Staden, Ruben |
| author2 | Fourie, Coenrad |
| author_browse | Fourie, Coenrad Van Staden, Ruben |
| author_facet | Fourie, Coenrad Van Staden, Ruben |
| author_sort | Van Staden, Ruben |
| collection | Thesis |
| description | Thesis (PhD)--Stellenbosch University, 2019. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/107100 |
| institution | Stellenbosch University (South Africa) |
| language | en_ZA |
| last_indexed | 2026-06-10T12:46:20.037Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2019 |
| publishDateRange | 2019 |
| publishDateSort | 2019 |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/107100 A Physical Design verification framework for superconducting electronics Van Staden, Ruben Fourie, Coenrad Stellenbosch University. Faculty of Engineering. Dept. of Electrical and Electronic Engineering. Hardware verification Electric lines -- Superconducting Circuits, Electric Thesis (PhD)--Stellenbosch University, 2019. 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). Doctoral 2019-11-19T04:58:22Z 2019-12-11T06:47:19Z 2019-11-19T04:58:22Z 2019-12-11T06:47:19Z 2019-12 Thesis http://hdl.handle.net/10019.1/107100 en_ZA 198 pages : illustrations application/pdf |
| spellingShingle | Hardware verification Electric lines -- Superconducting Circuits, Electric Van Staden, Ruben A Physical Design verification framework for superconducting electronics |
| title | A Physical Design verification framework for superconducting electronics |
| title_full | A Physical Design verification framework for superconducting electronics |
| title_fullStr | A Physical Design verification framework for superconducting electronics |
| title_full_unstemmed | A Physical Design verification framework for superconducting electronics |
| title_short | A Physical Design verification framework for superconducting electronics |
| title_sort | physical design verification framework for superconducting electronics |
| topic | Hardware verification Electric lines -- Superconducting Circuits, Electric |
| url | http://hdl.handle.net/10019.1/107100 |
| work_keys_str_mv | AT vanstadenruben aphysicaldesignverificationframeworkforsuperconductingelectronics AT vanstadenruben physicaldesignverificationframeworkforsuperconductingelectronics |