Code

Add Formal#18

Code

Merged

unlsycn merged 8 commits intomasterchipsalliance/chisel-nix:masterfrom try_formalchipsalliance/chisel-nix:try_formalCopy head branch name to clipboardSep 22, 2024

+577-196

Commits

Commits on Sep 21, 2024

• [gcd] depart testbench from gcd.scala

  

  Clo91eaf

  authored and

  unlsycn

  committed
  c88737a

  Copy full SHA for c88737a

• [formal] add Formal TestBench

  

  Clo91eaf

  authored and

  unlsycn

  committed
  f46c668

  Copy full SHA for f46c668

• [formal] add jasper env

  

  Clo91eaf

  authored and

  unlsycn

  committed
  d845cdd

  Copy full SHA for d845cdd

• [ci] add formal ci

  

  Clo91eaf

  authored and

  unlsycn

  committed
  5a61f5b

  Copy full SHA for 5a61f5b

• [nix] add formal nix, wip

  Clo91eaf

  committed
  a89afde

  Copy full SHA for a89afde

• [doc] add some content about formal in readme

  Clo91eaf

  committed
  44b2587

  Copy full SHA for 44b2587

• [nix] complete formal nix and ci

  Show description for 6d9dbdf
  unlsycn

  committed
  6d9dbdf

  Copy full SHA for 6d9dbdf

Commits on Sep 22, 2024

• [doc] rename formal to jg-fpv

  Clo91eaf

  committed
  961a625

  Copy full SHA for 961a625