-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Formal verification checks. Before checking anything into a repository, it's important to know that any changes that have been made to it haven't broken the formal proof of it. Therefore, I keep make files in my bench/formal directories. These makefiles (example) key off of the production of one (or many) proofname/PASS file. If the file is out of date or doesn't exist, the proof needs to be re-run before updating any repository. Here's an example make dependency for my
Our project is: https://github.com/RAPcores/rapcores I have a draft article about the tools we use, but it is several months old now. We are about one year into the project, and I am amazed how every month some new tooling seems to pop up that solves some problem.
Related posts
-
C++ Verification Testbench Best-Practice Resources?
-
Simple skid buffer implementation
-
Testing Axi Slaves in Simulation
-
Guys can u send me some github repositories on some simple project on system verilog with functionality like with couple functions ? Its my first reddit post in my life.
-
A simple AXI-Lite register file