commit	f0ce05ff8f0244fed0cadac7fe41b72c08df3ea9	[log] [tgz]
author	Ruediger Ehlers <mail(insert-current-4-digit-year-here)@ruediger-ehlers.de>	Fri Mar 11 13:37:46 2022 +0100
committer	Ruediger Ehlers <mail(insert-current-4-digit-year-here)@ruediger-ehlers.de>	Fri Mar 11 13:37:46 2022 +0100
tree	95e75fdaec78ce7682d93bdc15f79a93748a350e
parent	57338870c9372e74aecf39382991893434b761ab [diff]

First version that passes precheck

README.md[diff]
def/user_project.def[Added - diff]
def/user_project_wrapper.def[diff]
gds/user_proj_example.gds[Deleted - diff]
gds/user_project.gds[Added - diff]
gds/user_project_wrapper.gds[diff]
lef/user_project.lef[Added - diff]
lef/user_project_wrapper.lef[diff]
mag/user_project.mag[Added - diff]
mag/user_project_wrapper.mag[diff]
maglef/user_project.mag[Added - diff]
maglef/user_project_wrapper.mag[diff]
openlane/user_project/config.json[Added - diff]
openlane/user_project/config.tcl[Added - diff]
openlane/user_project/macro.cfg[Added - diff]
openlane/user_project/pin_order.cfg[Added - diff]
openlane/user_project_wrapper/config.tcl[diff]
openlane/user_project_wrapper/macro.cfg[diff]
signoff/user_project_wrapper/final_summary_report.csv[diff]
spi/lvs/user_project.spice[Added - diff]
spi/lvs/user_project_wrapper.spice[diff]
thirdparty/bextdep/COPYING[Added - diff]
thirdparty/bextdep/README.md[Added - diff]
thirdparty/bextdep/bextdep.v[Added - diff]
thirdparty/bextdep/bextdep_pps.v[Added - diff]
verilog/dv/complex_monitor/Makefile[Added - diff]
verilog/dv/complex_monitor/complex_monitor.c[Added - diff]
verilog/dv/complex_monitor/complex_monitor_tb.v[Added - diff]
verilog/gl/monitor.v[Added - diff]
verilog/gl/user_project.v[Added - diff]
verilog/gl/user_project_wrapper.v[diff]
verilog/rtl/monitor.v[Added - diff]
verilog/rtl/user_project.v[Added - diff]
verilog/rtl/user_project_wrapper.v[diff]

34 files changed

tree: 95e75fdaec78ce7682d93bdc15f79a93748a350e

README.md

Caravel User Project

Short description

This project implements a temporal runtime monitoring component for the Caravel SoC. The component has two SRAM blocks for storing its configuration (1 kB and 8 kB each) and implements a lookup table-based approach to monitoring a reactive system for the satisfaction of temporal specification.

Longer description

TODO

Technical documentation

TODO

Authors of the monitor component

Ruediger Ehlers - My e-mail address can be found on my academic web page, which is easy to google, or my personal web-page, which can be found at http://forename-lastname.de.

Authors of the project from which this project was forked to start with a sane configuration for placing SRAM macros

Jesse Cirimeli-Low
Amogh Lonkar
Matthew Guthaus