rtlv

Tools for reasoning about circuits in Rosette/Racket

Build status: ok failing tests valid license

README Download
Authors
Documentation
    Tags
      License
      Language familiesRacket
      Last updatedThursday, April 24th, 2025 10:20:14pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Build platformsany platform
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/anishathalye/rtlv.git3da08dc8b3b97c8804228158687db0bbb7872259
      Last checkedFriday, June 5th, 2026 7:31:39am (UTC)
      Last editedWednesday, October 19th, 2022 11:21:16pm (UTC)
      Date addedWednesday, October 19th, 2022 11:21:16pm (UTC)
      Modules
      • test/shiva/verilog/soc.rkt
      • shiva/main.rkt
      • test/shiva/verify.rkt
      • test/shiva/main.rkt