7 Commits (951ca2cdfb8edc7a9f669d577a88741b878b5712)

Author	SHA1	Message	Date
Jean-François Nguyen	9ea58a47a9	Refactor to facilitate integration with CLIs and config files. ... * Checks are now split in two modules: checks.cons for consistency checks, checks.insn for instructions. * Checks are derived from PowerFVCheck and have a shorthand (e.g. "insn_b"). PowerFVCheck holds a mapping between its subclasses and their shorthands. * Instruction checks definitions have been simplified to one-liners, and grouped into a single file. * A Trigger class has been added to define testbench triggers.	4 years ago
Jean-François Nguyen	2988ffc617	checks.spr: add SPRCheck.	4 years ago
Jean-François Nguyen	e7e9bb08f0	checks.cr: add CRCheck.	4 years ago
Jean-François Nguyen	b84a23877a	checks.gpr: add GPRCheck.	4 years ago
Jean-François Nguyen	e0e434204b	checks.ia_fwd: add check.	4 years ago
Jean-François Nguyen	fc9feb58cb	checks.unique: add check.	4 years ago
Jean-François Nguyen	25c629af16	tb: add top-level testbench.	4 years ago