Sökning: "Circuit synthesis"

Visar resultat 1 - 5 av 33 avhandlingar innehållade orden Circuit synthesis.

  1. 1. Electrothermal Simulation in a Concurrent Waveform Relaxation Based Circuit Simulator

    Författare :Magnus Wiklund; Institutionen för elektro- och informationsteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Circuit synthesis; Bond graphs; Nullor; Circuit theory; Analog simulation; Circuit simulation; Multiprocessor computer; CONCISE; Parallel computation; Waveform relaxation; Thermal models; Transistor models; Electro-thermal simulation; Electro-thermal modeling; Translinear circuits; Electronics; Elektronik; Electrical engineering; Elektroteknik;

    Sammanfattning : The main purpose of this work is to study methods to simulate electro-thermal effects in integrated circuits using CONCISE a waveform relaxation based circuit simulator. WR is a method that is suitable to run on a multi-computer with state of the art computing power. Especially CMOS VLSI circuits have been simulated successfully with WR. LÄS MER

  2. 2. Analog Circuit Topology Development: Practice methods for technology and teaching based on comprehensible transistor models

    Författare :Roger Malmberg; Chalmers University of Technology; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; episteme; analog design; circuit synthesis; field-effect transistor; teaching method; phronesis; techne; bipolar transistor; transistor model;

    Sammanfattning : To obtain adequate knowledge for design of robust analog circuits in industry, circuit engineers gain main knowledge from own practice experience, because theory taught by universities rarely states validity limits and result spreads. Therefore, when going from university to industry, the engineers find this theory nontrustworthy and relinquish it. LÄS MER

  3. 3. All Around Logic Synthesis

    Författare :Maxim Teslenko; Hannu Tenhunen; Michel Berklaar; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; graph dominators; FPGA mapping; redundancy removal; RBN; Computer science; Datavetenskap;

    Sammanfattning : This dissertation is in the area of Computer-Aided Design (CAD) of digital Integrated Circuits (ICs). Today's digital ICs, such as microprocessors, memories, digital signal processors (DSPs), etc., range from a few thousands to billions of logic gates, flip-flops, and other components, packed in a few millimeters of area. LÄS MER

  4. 4. Graph dominators in logic synthesis and verification

    Författare :René Krenz; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; formal verification; logic synthesis; dominators; equivalence checking; decomposition; Computer science; Datavetenskap;

    Sammanfattning : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. LÄS MER

  5. 5. Dominator-based Algorithms in Logic Synthesis and Verification

    Författare :René Krenz-Bååth; Johnny Öberg; Joao Marques-Silva; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; graph dominators; formal verification; logic synthesis; equivalence checking; decomposition; Electrical engineering; Elektroteknik;

    Sammanfattning : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. LÄS MER