+ All Categories
Home > Documents > 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...

Date post: 21-Jan-2016
Category:

Documents
Upload: edward-evans
View: 222 times
Download: 0 times
Download Report this document
Share this document with a friend
12
1 ECM6308 - Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin
Transcript
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?


Recommended
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

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

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

Logic, Logic, Logic · Logic, Logic, Logic: Thinking about Thinking. Interesting Quotes on Logic: “Logic is the technique by which we add conviction to truth.” ~ Jean de la Bruyere

Logic, Logic, Logic · Logic, Logic, Logic: Thinking about Thinking. Interesting Quotes on Logic: “Logic is the technique by which we add conviction to truth.” ~ Jean de la Bruyere

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

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

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

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

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

Analysis of Operational Strategies for Utilizing CO2 for ... · ANALYSIS OF OPERATIONAL STRATEGIES FOR ... Mingjie Chen1, Chuanhe Lu1, Yunwei Sun1, Yue Hao1, Michael A ... working

Analysis of Operational Strategies for Utilizing CO2 for ... · ANALYSIS OF OPERATIONAL STRATEGIES FOR ... Mingjie Chen1, Chuanhe Lu1, Yunwei Sun1, Yue Hao1, Michael A ... working

Documents

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

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

Documents

1376 IEEE TRANSACTIONS ON COMPUTERS, VOL. 53, NO. 11 ...mingjie/ECM6308/papers/An... · TEIFEL AND MANOHAR: AN ASYNCHRONOUS DATAFLOW FPGA ARCHITECTURE 1377 1. We use the enable signal,

1376 IEEE TRANSACTIONS ON COMPUTERS, VOL. 53, NO. 11 ...mingjie/ECM6308/papers/An... · TEIFEL AND MANOHAR: AN ASYNCHRONOUS DATAFLOW FPGA ARCHITECTURE 1377 1. We use the enable signal,

Documents

LOGIC DIAGRAM (POSITIVE LOGIC)

LOGIC DIAGRAM (POSITIVE LOGIC)

Documents

Modal Logic, Epistemic Logic

Modal Logic, Epistemic Logic

Documents

Asynchronous Design Methodologies: An Overviemingjie/ECM6308/AsynchArt.pdf · Lower power - Standard synchronous circuits have to toggle clock lines, and possibly precharge and discharge

Asynchronous Design Methodologies: An Overviemingjie/ECM6308/AsynchArt.pdf · Lower power - Standard synchronous circuits have to toggle clock lines, and possibly precharge and discharge

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

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

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

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

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

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

Documents