Topics in Embedded Systems(Complex Digital Systems for Software People)

coursetab

c_lecno	Title	files
1	Introduction	5715.pdf
2	Introduction to Bluespec	5716.pdf
3	Combinational Circuits in Bluespec	5717.pdf
4	Simple Synchronous Pipelines	5718.pdf
5	Lab1 Tutorial	5719.pdf
6	Basics of Multi-rule Systems	5720.pdf
7	Asynchronous Pipelines:Concurrency Issues	5721.pdf
8	IP Lookup: Some subtle concurrency issues	5722.pdf
9	Using Subversion	5723.pdf
10	IP Lookup-2: The Completion Buffer	5724.pdf
11	Modeling Processors	5725.pdf
12	Asynchronous Pipelines: Concurrency Issues	5726.pdf
13	Functions and Types in Bluespec	5727.pdf
14	Concurrency and Modularity Issues in Processor pipelines	5728.pdf
15	Modular Refinement	5729.pdf
16	Tutorial: Lab 4	5730.pdf
17	Stmt FSM	5731.pdf
18	Matrix Multiply: Writing and Refining FSMs	5732.pdf
19	Matrix Multiply: Writing and Refining FSMs	5733.pdf
20	Multiple Clock Domains (MCD)	5734.pdf
21	Multiple Clock Domains (MCD) 2	5735.pdf
22	Bounded Dataflow Networks and Latency Insensitive Circuits	5736.pdf
23	Bounded Dataflow Networks and Latency Insensitive Circuits 2	5737.pdf
24	Tutorial: Lab 4 Again	5738.pdf
25	Sorting	5739.pdf
28	Revisiting the Processor	5740.pdf
29	The Semantics of Bluespec	5741.pdf