1 ecm6308 - selected topic: asynchronous logic and fpga devices lecture 3: formal theory of logic...

1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Upload: edward-evans

Post on 21-Jan-2016

225 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices

Lecture 3: Formal Theory of Logic Design

Prof. Mingjie Lin

Event, Signal, Behavior, Process, System

Page 3: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Composition of Processes

Page 4: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Composition of Processes

Page 5: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Composition of Processes

Page 6: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Examples: Composition of Processes

Page 7: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Informative and Stall Events

Page 8: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Latency Equivalent

Page 9: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Stalled Process

Page 10: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Patient Processes

Page 11: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Lecture schedule

See Webpage:

www.eecs.ucf.edu/~mingjie/ECM6308

Page 12: 1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

Final issues

• Please fill out the student info sheet before leaving

• Come by my office hours (right after class)

• Any questions or concerns?

3.3 CMOS Logic 1. CMOS Logic Levels NextReturn Logic levels for typical CMOS Logic circuits. Logic 1 (HIGH) Logic 0 (LOW) Undefined Logic level 5.0V 3.5V

Combining Description Logic, Autoepistemic Logic and Logic Programming

, Xudong Chen , Xiandeng Wu , and Mingjie Zhangbcz102.ust.hk/publications/2019/20190823_JBC... · 1 Formation of biological condensates via phase separation: Characteristics, analytical

EE3601-14 Electronics Circuit Design 1 14.1Digital Logic Gates 14.2nMOS Logic Families 14.3Dynamic MOS Logic Families 14.4CMOS Logic Families 14.5TTL Logic

Modal Logic, Epistemic Logic

CT455: Computer Organization Logic gate. Lecture 4: Logic Gates and Circuits Logic Gates Logic Gates Logic Gates Logic Gates The Inverter The Inverter

Logic Puzzles and Modal Logic. Closure properties in modal logic

China's Permanent and Temporary Migrants: Differentials and … · 2019-10-25 · China’s Permanent and Temporary Migrants: Differentials and Changes, 1990–2000∗ Mingjie Sun

Logic Intro (Logic Slide 1a)

2Basic Ladder Logic Programming - Weebly€¦ · 2Basic Ladder Logic Programming Chapter Topics: • Basic ladder logic symbols • Ladder logic diagram • Ladder logic evaluation

1 Stochastic Logic Beyond CMOS... Prof. Mingjie Lin

Research Document Compressive Sensing Based Network ...€¦ · Research Document Compressive Sensing Based Network Monitoring For Large-scale Data Centre Mingjie Shao C00188468 Adocumentsubmittedinpartfulfilmentofthedegreeof

EEL 4783: HDL in Digital System Designmingjie/EEL4783/synthesis.pdf · EEL 4783: HDL in Digital System Design Lecture 15: Logic Synthesis with Verilog Prof. Mingjie Lin. 2 Synthesis

Computational issues in nanotechnology and stochastic computingmingjie/ECM6308/ir02.pdf · 2013-04-03 · •New computational paradigms –Grid computing –Massive parallelism •Need

Building Zynq Accelerators with Vivado High Level Synthesiseecs.ucf.edu/~mingjie/EEL4783/VivadoHLS_Tutorial.pdf · •Most arrays map into BRAM, rather than global address space –Understanding

In-memory Distributed Matrix Computation Processing and ... · In-memory Distributed Matrix Computation Processing and Optimization Yongyang Yu , Mingjie Tang , Walid G. Aref , Qutaibah

Micropipelines - UCF Department of EECSmingjie/ECM6308/Micropipelines.pdflieve that the transition-signalling conceptual frame- work has much to offer in reducing the design time and

EEL 4783: HDL in Digital System Design - eecs.ucf.edueecs.ucf.edu/~mingjie/EEL4783/lect.02.pdf · 1 EEL 4783: HDL in Digital System Design Lecture 2: Introduction to Logic Design

Agro Logic · Agro Logic

Logic - DHBW Stuttgarthladik/Logik/2015/logic - overlays.pdf · Logic, logic, logic... Why do computer scientists need logic? Mr Spock says: Logic is the beginning of wisdom, not

Modal Logic, Temporal Logic and the Logic of Agency

Mingjie Tang - CSR Corporation - The potential to create a ‘city of green’

Survey of Medical Professionalism from the Patient Perspective Work group: Zhizheng Du Mingjie Zhao Yi Qin Yang Yang

INFORMAL LOGIC AND LOGIC

Logic in Hegel’s Logic

Prop Logic 1-Logic

Logic Design Sequential Logic (Chapter 3)bhagiweb/cs2461/lectures/logic4.pdf · Logic Design Sequential Logic (Chapter 3) So Far: Combinational Logic Combinational Logic: • Always

Prop Logic 2-Logic

Logic Synthesis Outline –Logic Synthesis Problem –Logic Specification –Two-Level Logic Optimization Goal –Understand logic synthesis problem –Understand

3 Logic gates and logic circuits...3 Logic gates and logic circuits. 3 Logic gates and logic circuits. In this chapter you will learn about: • logic gates • truth tables • logic

Justice & Mercy Benedict Tan (2) Darren Low (3) Teo Mingjie (21) John Yap (23) Zach Lim (25)

Fixpoint Logic vs. Infinitary Logic in Finite-Model Theoryvardi/papers/lics92rj.pdf · 2015-01-14 · Fixpoint Logic vs. Infinitary Logic ... fixpoint logic, and first-order logic

Today’s Topics Digital Logic Design Digital Logic Design Boolean Logic Boolean Logic Digital Logic Circuits Digital Logic Circuits

LOGIC 9 / 2 — HI-8 LOGIC PRO x (9-16) (1-8) Logic Pro • : Logic*' … · 2019-03-06 · LOGIC 9 / 2 — HI-8 LOGIC PRO x (9-16) (1-8) Logic Pro • : Logic*' 74 a . Created Date: