# ucb-bar/chiseltest

<https://repo.masters-masters.com/en/repos/ucb-bar/chiseltest>

[Home](https://repo.masters-masters.com/en) › [ucb-bar](https://repo.masters-masters.com/en/owners/ucb-bar) › [chiseltest](https://repo.masters-masters.com/en/repos/ucb-bar/chiseltest)

ucb-bar/chiseltest has 234 stars on GitHub. Its RepoMasters card: Prototype tier. The batteries-included testing and formal verification library for…

| Field | Value |
| --- | --- |
| Owner | [ucb-bar](https://repo.masters-masters.com/en/owners/ucb-bar) |
| Stars | 234 |
| Forks | 74 |
| Language | [Scala](https://repo.masters-masters.com/en/languages/scala) |
| License | None |
| Created | 2018 |
| Topics | testing, verification, formal, chisel |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ucb-bar/chiseltest](https://github.com/ucb-bar/chiseltest) |

## Repository

The batteries-included testing and formal verification library for Chisel-based RTL designs.

Archived: this repository is read-only

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by ucb-bar

- [ucb-bar/chipyard · ★ 2,444 · Scala · RC](https://repo.masters-masters.com/en/repos/ucb-bar/chipyard)
- [ucb-bar/gemmini · ★ 1,548 · Scala · Beta](https://repo.masters-masters.com/en/repos/ucb-bar/gemmini)
- [ucb-bar/chisel-tutorial · ★ 759 · Scala · Beta](https://repo.masters-masters.com/en/repos/ucb-bar/chisel-tutorial)
- [ucb-bar/riscv-sodor · ★ 758 · Scala · Beta](https://repo.masters-masters.com/en/repos/ucb-bar/riscv-sodor)
- [ucb-bar/riscv-mini · ★ 621 · Scala · Alpha](https://repo.masters-masters.com/en/repos/ucb-bar/riscv-mini)
- [ucb-bar/fpga-zynq · ★ 425 · Tcl · Alpha](https://repo.masters-masters.com/en/repos/ucb-bar/fpga-zynq)

## Nearby in Scala

- [khronus/khronus · ★ 234 · Scala · Prototype](https://repo.masters-masters.com/en/repos/khronus/khronus)
- [johnynek/bosatsu · ★ 234 · Scala · Prototype](https://repo.masters-masters.com/en/repos/johnynek/bosatsu)
- [Qbeast-io/qbeast-spark · ★ 234 · Scala · Prototype](https://repo.masters-masters.com/en/repos/Qbeast-io/qbeast-spark)
- [sorm/sorm · ★ 234 · Scala · Prototype](https://repo.masters-masters.com/en/repos/sorm/sorm)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.