Sökning: "digital logic"

Visar resultat 11 - 15 av 86 avhandlingar innehållade orden digital logic.

1. 11. Relations in Models of Calculi and Logics with Names

   Författare :Kidane Yemane; Björn Victor; John Power; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Process Calculi; Syntax; Semantics; HD-automata; Logic; Category theory; Computer engineering; Datorteknik;

   Sammanfattning : In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. LÄS MER

3. 12. Dominator-based Algorithms in Logic Synthesis and Verification

   Författare :René Krenz-Bååth; Johnny Öberg; Joao Marques-Silva; KTH; []
   Nyckelord :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

4. 13. Low power digital CMOS design

   Författare :Dake Liu; Linköpings universitet; []
   Nyckelord :;

   Sammanfattning : This Dissertation describes research on Low Power Digital CMOS Design performed at the LSI Design Center, Department of Physics and Measurement Technology, Linkoping University, Linkoping, Sweden. The research covers Low Power CMOS Device Design, Low Power Circuit and System Technique and Power Estimations in Digital CMOS VLSI Chips. LÄS MER

5. 14. Experimental Verification of Superconductor Digital Circuits

   Författare :Henrik Engseth; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cryocooler.; Superconductivity; Multi Chip Modules MCM ; high frequency test; Rapid Single Flux Quantum RSFQ logic; heatload;

   Sammanfattning : AbstractSuperconducting digital technology based on Rapid Single Flux Quantum (RSFQ) logic offers a 50 times faster clock rate and 100 times less on chip power consumption than today's mainstream semiconductor electronics. This technology is attractive for many applications and in particular for Digital Signal Processing (DSP). LÄS MER

7. 15. Reduction of Substrate Noise in Mixed-Signal Circuits

   Författare :Erik Backenius; Mark Vesterbacka; Kejll O. Jeppson; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mixed-signal; Substrate noise; Substrate modeling; Simultaneous switching noise; SSN; Digital; Analog; Clock; Electronics; Elektronik;

   Sammanfattning : In many consumer products, e.g., cellular phones and handheld computers, both digital and analog circuits are required. Nowadays, it is possible to implement a large subsystem or even a complete system, that earlier required several chips, on a single chip. LÄS MER