12

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

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

Download PPT Report

Upload
edward-evans
View
222
Download
0

Embed Size (px)

Citation preview

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

1

ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices

Lecture 3: Formal Theory of Logic Design

Prof. Mingjie Lin

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

2

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

3

Composition of Processes

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

4

Composition of Processes

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

5

Composition of Processes

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

6

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

7

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

8

Latency Equivalent

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

9

Stalled Process

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

10

Patient Processes

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

11

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

12

Final issues

• Please fill out the student info sheet before leaving

• Come by my office hours (right after class)

• Any questions or concerns?

Engineering, Beihang University, Beijing 100191, China … · 2019-10-16 · Background Segmentation for Vehicle Re-Identi cation Mingjie Wu 1, Yongfei Zhang;2( ), Tianyu Zhang ,

Engineering, Beihang University, Beijing 100191, China … · 2019-10-16 · Background Segmentation for Vehicle Re-Identi cation Mingjie Wu 1, Yongfei Zhang;2( ), Tianyu Zhang ,

Documents

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

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

Documents

Agro Logic · Agro Logic

Agro Logic · Agro Logic

Documents

Techniques for Solving Logic Puzzles. Logic Puzzles Logic puzzles operate using deductive logic. Logic puzzles operate using deductive logic. A well-designed

Techniques for Solving Logic Puzzles. Logic Puzzles Logic puzzles operate using deductive logic. Logic puzzles operate using deductive logic. A well-designed

Documents

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

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

Documents

Prop Logic 1-Logic

Prop Logic 1-Logic

Documents

Logic in Hegel’s Logic

Logic in Hegel’s Logic

Documents

Modal Logic, Epistemic Logic

Modal Logic, Epistemic Logic

Documents

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

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

Documents

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

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

Documents

Efficient Processing of Hamming-Distance-Based Similarity ...merlintang.github.io/paper/EDBT-Hamming-V2.pdf · Similarity Search Queries over MapReduce Mingjie Tang* Yongyang Yu*

Efficient Processing of Hamming-Distance-Based Similarity ...merlintang.github.io/paper/EDBT-Hamming-V2.pdf · Similarity Search Queries over MapReduce Mingjie Tang* Yongyang Yu*

Documents

1,2,5 3,5, Jinwei Zhu1,3, Wenyu Wen1, Mingjie Zhang3,4 ...bcz102.ust.hk/publications/2012/lijianchao_jbc.pdf · 25 °C. All protein samples were dissolved in the buffer containing

1,2,5 3,5, Jinwei Zhu1,3, Wenyu Wen1, Mingjie Zhang3,4 ...bcz102.ust.hk/publications/2012/lijianchao_jbc.pdf · 25 °C. All protein samples were dissolved in the buffer containing

Documents

Efcient Processing of Hamming-Distance-Based Similarity ... · Efcient Processing of Hamming-Distance-Based Similarity-Search Queries Over MapReduce Mingjie Tang y, Yongyang Yu y,

Efcient Processing of Hamming-Distance-Based Similarity ... · Efcient Processing of Hamming-Distance-Based Similarity-Search Queries Over MapReduce Mingjie Tang y, Yongyang Yu y,

Documents

Logic, Logic, Logic

Logic, Logic, Logic

Documents

Combining Description Logic, Autoepistemic Logic and Logic Programming

Combining Description Logic, Autoepistemic Logic and Logic Programming

Documents

INFORMAL LOGIC AND LOGIC

INFORMAL LOGIC AND LOGIC

Documents

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

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

Documents

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

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

Documents

Related families-based attribute reduction of …Related families-based attribute reduction of dynamic covering decision information systems Guangming Langa,b,c, Mingjie Cai⁎,d,

Related families-based attribute reduction of …Related families-based attribute reduction of dynamic covering decision information systems Guangming Langa,b,c, Mingjie Cai⁎,d,

Documents

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

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

Documents

EEL 4783: HDL in Digital System Designeecs.ucf.edu/~mingjie/EEL4783/vhdl.pdfVHDL Background VHSIC Hardware Description Language. VHSIC is an abbreviation for Very High Speed Integrated

EEL 4783: HDL in Digital System Designeecs.ucf.edu/~mingjie/EEL4783/vhdl.pdfVHDL Background VHSIC Hardware Description Language. VHSIC is an abbreviation for Very High Speed Integrated

Documents

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

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

Documents

A Tutorial on Bayesian Networksmingjie/ECM6308/rand0.pdf · A Tutorial on Bayesian Networks Weng-Keen Wong School of Electrical Engineering and Computer Science Oregon State University

A Tutorial on Bayesian Networksmingjie/ECM6308/rand0.pdf · A Tutorial on Bayesian Networks Weng-Keen Wong School of Electrical Engineering and Computer Science Oregon State University

Documents

Logic Simulation Outline –Logic Simulation –Logic Design Description –Logic Models Goal –Understand logic simulation problem –Understand logic models

Logic Simulation Outline –Logic Simulation –Logic Design Description –Logic Models Goal –Understand logic simulation problem –Understand logic models

Documents

High-Level Synthesis with Vivado HLS - eecs.ucf.edueecs.ucf.edu/~mingjie/EEL4783/lect-heterogen_xilinx_hls.pdfLet’s examine the default synthesis behavior of these ... • The only

High-Level Synthesis with Vivado HLS - eecs.ucf.edueecs.ucf.edu/~mingjie/EEL4783/lect-heterogen_xilinx_hls.pdfLet’s examine the default synthesis behavior of these ... • The only

Documents

CHAPTER 9eecs.ucf.edu/~mingjie/EEL3342/7.pdf · ©2010 Cengage Learning CHAPTER 9 MULTIPLEXERS, DECODERS, AND PROGRAMMABLE LOGIC DEVICES This chapter in the book includes: Objectives

CHAPTER 9eecs.ucf.edu/~mingjie/EEL3342/7.pdf · ©2010 Cengage Learning CHAPTER 9 MULTIPLEXERS, DECODERS, AND PROGRAMMABLE LOGIC DEVICES This chapter in the book includes: Objectives

Documents

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

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

Documents

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

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

Documents

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

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

Documents

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

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

Documents