search

tdb-alcorn / chisel-formal

Other
23 stars 3 forks source link

Chisel-formal - apps as starting point #3

Open svenka3 opened 4 years ago

svenka3 commented 4 years ago

During today's CHIPS alliance event, Jack presented Chisel and introduced this repo to me. Based on our Q&A in that forum, I am adding this suggestion for this community.

A quick look at chiself-formal - how about you focus on “apps” right from start - meaning, FV is hard on its own. Tailoring chiself-formal for an application like “Connectivity checking” could be one way to make it usable in near future.

I will be happy to contribute to this including our GO2UVM Connectivity simulation app etc.

Thanks

tdb-alcorn commented 4 years ago

Agreed! I think specific bits tailored to common use cases is a great idea, as long as it doesn't get in the way of other use cases. I'm imagining a library (either a sub-library or entirely separate) with a set of primitives targeted at a specific application. e.g. chisel3.formal.connectivity. What do you think?