├── .gitignore ├── 01-intro ├── images │ ├── agile-hw.svg │ ├── building_hoover_dam.jpg │ ├── chisel_logo.svg │ ├── head-scott.jpg │ ├── products.jpg │ ├── running-feet.jpg │ ├── scala-spiral.png │ ├── themes.svg │ └── trad-hw.svg └── lec01-intro.ipynb ├── 02-hello ├── images │ ├── backend.svg │ ├── frontend.svg │ └── myxor.svg └── lec02-hello.ipynb ├── 03-combo ├── images │ ├── absMux.svg │ ├── invCond.svg │ ├── mux.svg │ ├── muxw.svg │ ├── xorRef.svg │ └── xorWire.svg └── lec03-combo.ipynb ├── 04-state ├── images │ ├── raccoon.svg │ └── reg.svg └── lec04-state.ipynb ├── 05-collect ├── images │ ├── delayN.svg │ └── reducer.svg └── lec05-collect.ipynb ├── 06-encap └── lec06-encap.ipynb ├── 07-decoup ├── images │ ├── combo.svg │ ├── handshake-wave.svg │ ├── producer.svg │ ├── queue.svg │ ├── queueReady.svg │ └── readyValid.svg └── lec07-decoup.ipynb ├── 08-arbit ├── images │ ├── arbiter.svg │ ├── decoder.svg │ ├── myarb.svg │ ├── priority.svg │ └── xbar.svg └── lec08-arbit.ipynb ├── 09-testing └── lec09-test.ipynb ├── 10-map ├── images │ ├── map+foreach.svg │ └── zip.svg └── lec10-map.ipynb ├── 11-reduce ├── images │ ├── foldLeft.png │ ├── folds.svg │ ├── map.png │ └── zipWithIndex.svg └── lec11-reduce.ipynb ├── 12-pattern ├── images │ ├── filter.svg │ ├── flatmap.svg │ └── mapOnC.svg └── lec12-pattern.ipynb ├── 13-queue ├── images │ ├── circular.svg │ ├── priority.svg │ ├── queue.svg │ ├── shift.svg │ └── single.svg └── lec13-queue.ipynb ├── 14-inherit ├── images │ ├── chisel_hierarchy.svg │ └── collections-immutable-diagram.svg └── lec14-inherit.ipynb ├── 15-network ├── images │ ├── ring1.svg │ ├── ring2.svg │ ├── ringrouter.svg │ └── torus.svg └── lec15-network.ipynb ├── 16-memory ├── images │ ├── agile-hw.svg │ ├── banks-high.svg │ ├── double.svg │ ├── overlap.svg │ ├── terms.svg │ ├── toolflow.svg │ ├── trad-hw.svg │ └── traffic.svg └── lec16-memory.ipynb ├── 17-dev └── lec17-dev.ipynb ├── 18-delay ├── images │ ├── critical.svg │ ├── delay.svg │ ├── fo4.svg │ ├── histogram.svg │ ├── pipeline.svg │ ├── reduction.svg │ ├── retimed.svg │ └── sta.svg └── lec18-delay.ipynb ├── 19-dse ├── images │ ├── aladdin.pdf │ ├── core-tradeoffs.pdf │ ├── pareto.svg │ └── power-tradeoffs.svg └── lec19-dse.ipynb ├── 20-misc └── lec20-misc.ipynb ├── 21-firrtl ├── images │ ├── comp-diff.svg │ ├── compiler-ends.svg │ ├── delay.svg │ ├── flow-new.svg │ ├── flow.svg │ └── types.svg └── lec21-firrtl.ipynb ├── 22-formal ├── axi.png ├── bmc0.png ├── bmc1.png ├── ind0.png ├── ind1.png ├── ind2.png ├── ind3.png ├── lec22-formal.ipynb └── transition-system.png ├── 30-tour └── lec30-tour.ipynb ├── Dockerfile ├── README.md ├── binder ├── apt.txt ├── environment.yml └── postBuild ├── install.sh ├── resource ├── chisel_deps.sc └── logo.svg └── x-template └── lecXX-template.ipynb /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/.gitignore -------------------------------------------------------------------------------- /01-intro/images/agile-hw.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/agile-hw.svg -------------------------------------------------------------------------------- /01-intro/images/building_hoover_dam.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/building_hoover_dam.jpg -------------------------------------------------------------------------------- /01-intro/images/chisel_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/chisel_logo.svg -------------------------------------------------------------------------------- /01-intro/images/head-scott.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/head-scott.jpg -------------------------------------------------------------------------------- /01-intro/images/products.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/products.jpg -------------------------------------------------------------------------------- /01-intro/images/running-feet.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/running-feet.jpg -------------------------------------------------------------------------------- /01-intro/images/scala-spiral.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/scala-spiral.png -------------------------------------------------------------------------------- /01-intro/images/themes.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/themes.svg -------------------------------------------------------------------------------- /01-intro/images/trad-hw.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/images/trad-hw.svg -------------------------------------------------------------------------------- /01-intro/lec01-intro.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/01-intro/lec01-intro.ipynb -------------------------------------------------------------------------------- /02-hello/images/backend.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/02-hello/images/backend.svg -------------------------------------------------------------------------------- /02-hello/images/frontend.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/02-hello/images/frontend.svg -------------------------------------------------------------------------------- /02-hello/images/myxor.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/02-hello/images/myxor.svg -------------------------------------------------------------------------------- /02-hello/lec02-hello.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/02-hello/lec02-hello.ipynb -------------------------------------------------------------------------------- /03-combo/images/absMux.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/03-combo/images/absMux.svg -------------------------------------------------------------------------------- /03-combo/images/invCond.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/03-combo/images/invCond.svg -------------------------------------------------------------------------------- /03-combo/images/mux.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/03-combo/images/mux.svg -------------------------------------------------------------------------------- /03-combo/images/muxw.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/03-combo/images/muxw.svg -------------------------------------------------------------------------------- /03-combo/images/xorRef.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/03-combo/images/xorRef.svg -------------------------------------------------------------------------------- /03-combo/images/xorWire.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/03-combo/images/xorWire.svg -------------------------------------------------------------------------------- /03-combo/lec03-combo.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/03-combo/lec03-combo.ipynb -------------------------------------------------------------------------------- /04-state/images/raccoon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/04-state/images/raccoon.svg -------------------------------------------------------------------------------- /04-state/images/reg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/04-state/images/reg.svg -------------------------------------------------------------------------------- /04-state/lec04-state.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/04-state/lec04-state.ipynb -------------------------------------------------------------------------------- /05-collect/images/delayN.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/05-collect/images/delayN.svg -------------------------------------------------------------------------------- /05-collect/images/reducer.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/05-collect/images/reducer.svg -------------------------------------------------------------------------------- /05-collect/lec05-collect.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/05-collect/lec05-collect.ipynb -------------------------------------------------------------------------------- /06-encap/lec06-encap.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/06-encap/lec06-encap.ipynb -------------------------------------------------------------------------------- /07-decoup/images/combo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/07-decoup/images/combo.svg -------------------------------------------------------------------------------- /07-decoup/images/handshake-wave.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/07-decoup/images/handshake-wave.svg -------------------------------------------------------------------------------- /07-decoup/images/producer.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/07-decoup/images/producer.svg -------------------------------------------------------------------------------- /07-decoup/images/queue.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/07-decoup/images/queue.svg -------------------------------------------------------------------------------- /07-decoup/images/queueReady.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/07-decoup/images/queueReady.svg -------------------------------------------------------------------------------- /07-decoup/images/readyValid.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/07-decoup/images/readyValid.svg -------------------------------------------------------------------------------- /07-decoup/lec07-decoup.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/07-decoup/lec07-decoup.ipynb -------------------------------------------------------------------------------- /08-arbit/images/arbiter.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/08-arbit/images/arbiter.svg -------------------------------------------------------------------------------- /08-arbit/images/decoder.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/08-arbit/images/decoder.svg -------------------------------------------------------------------------------- /08-arbit/images/myarb.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/08-arbit/images/myarb.svg -------------------------------------------------------------------------------- /08-arbit/images/priority.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/08-arbit/images/priority.svg -------------------------------------------------------------------------------- /08-arbit/images/xbar.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/08-arbit/images/xbar.svg -------------------------------------------------------------------------------- /08-arbit/lec08-arbit.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/08-arbit/lec08-arbit.ipynb -------------------------------------------------------------------------------- /09-testing/lec09-test.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/09-testing/lec09-test.ipynb -------------------------------------------------------------------------------- /10-map/images/map+foreach.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/10-map/images/map+foreach.svg -------------------------------------------------------------------------------- /10-map/images/zip.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/10-map/images/zip.svg -------------------------------------------------------------------------------- /10-map/lec10-map.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/10-map/lec10-map.ipynb -------------------------------------------------------------------------------- /11-reduce/images/foldLeft.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/11-reduce/images/foldLeft.png -------------------------------------------------------------------------------- /11-reduce/images/folds.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/11-reduce/images/folds.svg -------------------------------------------------------------------------------- /11-reduce/images/map.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/11-reduce/images/map.png -------------------------------------------------------------------------------- /11-reduce/images/zipWithIndex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/11-reduce/images/zipWithIndex.svg -------------------------------------------------------------------------------- /11-reduce/lec11-reduce.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/11-reduce/lec11-reduce.ipynb -------------------------------------------------------------------------------- /12-pattern/images/filter.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/12-pattern/images/filter.svg -------------------------------------------------------------------------------- /12-pattern/images/flatmap.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/12-pattern/images/flatmap.svg -------------------------------------------------------------------------------- /12-pattern/images/mapOnC.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/12-pattern/images/mapOnC.svg -------------------------------------------------------------------------------- /12-pattern/lec12-pattern.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/12-pattern/lec12-pattern.ipynb -------------------------------------------------------------------------------- /13-queue/images/circular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/13-queue/images/circular.svg -------------------------------------------------------------------------------- /13-queue/images/priority.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/13-queue/images/priority.svg -------------------------------------------------------------------------------- /13-queue/images/queue.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/13-queue/images/queue.svg -------------------------------------------------------------------------------- /13-queue/images/shift.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/13-queue/images/shift.svg -------------------------------------------------------------------------------- /13-queue/images/single.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/13-queue/images/single.svg -------------------------------------------------------------------------------- /13-queue/lec13-queue.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/13-queue/lec13-queue.ipynb -------------------------------------------------------------------------------- /14-inherit/images/chisel_hierarchy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/14-inherit/images/chisel_hierarchy.svg -------------------------------------------------------------------------------- /14-inherit/images/collections-immutable-diagram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/14-inherit/images/collections-immutable-diagram.svg -------------------------------------------------------------------------------- /14-inherit/lec14-inherit.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/14-inherit/lec14-inherit.ipynb -------------------------------------------------------------------------------- /15-network/images/ring1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/15-network/images/ring1.svg -------------------------------------------------------------------------------- /15-network/images/ring2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/15-network/images/ring2.svg -------------------------------------------------------------------------------- /15-network/images/ringrouter.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/15-network/images/ringrouter.svg -------------------------------------------------------------------------------- /15-network/images/torus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/15-network/images/torus.svg -------------------------------------------------------------------------------- /15-network/lec15-network.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/15-network/lec15-network.ipynb -------------------------------------------------------------------------------- /16-memory/images/agile-hw.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/agile-hw.svg -------------------------------------------------------------------------------- /16-memory/images/banks-high.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/banks-high.svg -------------------------------------------------------------------------------- /16-memory/images/double.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/double.svg -------------------------------------------------------------------------------- /16-memory/images/overlap.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/overlap.svg -------------------------------------------------------------------------------- /16-memory/images/terms.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/terms.svg -------------------------------------------------------------------------------- /16-memory/images/toolflow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/toolflow.svg -------------------------------------------------------------------------------- /16-memory/images/trad-hw.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/trad-hw.svg -------------------------------------------------------------------------------- /16-memory/images/traffic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/images/traffic.svg -------------------------------------------------------------------------------- /16-memory/lec16-memory.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/16-memory/lec16-memory.ipynb -------------------------------------------------------------------------------- /17-dev/lec17-dev.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/17-dev/lec17-dev.ipynb -------------------------------------------------------------------------------- /18-delay/images/critical.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/critical.svg -------------------------------------------------------------------------------- /18-delay/images/delay.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/delay.svg -------------------------------------------------------------------------------- /18-delay/images/fo4.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/fo4.svg -------------------------------------------------------------------------------- /18-delay/images/histogram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/histogram.svg -------------------------------------------------------------------------------- /18-delay/images/pipeline.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/pipeline.svg -------------------------------------------------------------------------------- /18-delay/images/reduction.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/reduction.svg -------------------------------------------------------------------------------- /18-delay/images/retimed.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/retimed.svg -------------------------------------------------------------------------------- /18-delay/images/sta.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/images/sta.svg -------------------------------------------------------------------------------- /18-delay/lec18-delay.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/18-delay/lec18-delay.ipynb -------------------------------------------------------------------------------- /19-dse/images/aladdin.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/19-dse/images/aladdin.pdf -------------------------------------------------------------------------------- /19-dse/images/core-tradeoffs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/19-dse/images/core-tradeoffs.pdf -------------------------------------------------------------------------------- /19-dse/images/pareto.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/19-dse/images/pareto.svg -------------------------------------------------------------------------------- /19-dse/images/power-tradeoffs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/19-dse/images/power-tradeoffs.svg -------------------------------------------------------------------------------- /19-dse/lec19-dse.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/19-dse/lec19-dse.ipynb -------------------------------------------------------------------------------- /20-misc/lec20-misc.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/20-misc/lec20-misc.ipynb -------------------------------------------------------------------------------- /21-firrtl/images/comp-diff.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/21-firrtl/images/comp-diff.svg -------------------------------------------------------------------------------- /21-firrtl/images/compiler-ends.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/21-firrtl/images/compiler-ends.svg -------------------------------------------------------------------------------- /21-firrtl/images/delay.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/21-firrtl/images/delay.svg -------------------------------------------------------------------------------- /21-firrtl/images/flow-new.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/21-firrtl/images/flow-new.svg -------------------------------------------------------------------------------- /21-firrtl/images/flow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/21-firrtl/images/flow.svg -------------------------------------------------------------------------------- /21-firrtl/images/types.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/21-firrtl/images/types.svg -------------------------------------------------------------------------------- /21-firrtl/lec21-firrtl.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/21-firrtl/lec21-firrtl.ipynb -------------------------------------------------------------------------------- /22-formal/axi.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/axi.png -------------------------------------------------------------------------------- /22-formal/bmc0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/bmc0.png -------------------------------------------------------------------------------- /22-formal/bmc1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/bmc1.png -------------------------------------------------------------------------------- /22-formal/ind0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/ind0.png -------------------------------------------------------------------------------- /22-formal/ind1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/ind1.png -------------------------------------------------------------------------------- /22-formal/ind2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/ind2.png -------------------------------------------------------------------------------- /22-formal/ind3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/ind3.png -------------------------------------------------------------------------------- /22-formal/lec22-formal.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/lec22-formal.ipynb -------------------------------------------------------------------------------- /22-formal/transition-system.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/22-formal/transition-system.png -------------------------------------------------------------------------------- /30-tour/lec30-tour.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/30-tour/lec30-tour.ipynb -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/README.md -------------------------------------------------------------------------------- /binder/apt.txt: -------------------------------------------------------------------------------- 1 | openjdk-8-jre-headless 2 | graphviz 3 | z3 4 | -------------------------------------------------------------------------------- /binder/environment.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/binder/environment.yml -------------------------------------------------------------------------------- /binder/postBuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/binder/postBuild -------------------------------------------------------------------------------- /install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/install.sh -------------------------------------------------------------------------------- /resource/chisel_deps.sc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/resource/chisel_deps.sc -------------------------------------------------------------------------------- /resource/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/resource/logo.svg -------------------------------------------------------------------------------- /x-template/lecXX-template.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agile-hw/lectures/HEAD/x-template/lecXX-template.ipynb --------------------------------------------------------------------------------