High-Level Verification for Chisel

Verifying arithmetic designs written by Chisel: high level and parametric.

• src/main/scala/ contains scala files translated from open-source multiplier and divider designs written by Chisel.

• stain/src/main/scala/ contains stainless proofs with handwritten pre- post- conditions and assertions for scala files translated from Chisel.