Support for post-syn testing

[ucb-bar]

Support for post-syn testing

[seldridge]

I have viewed the second bullet point as the critical problem and path to a solution. Chisel intermixes specification (IO) and implementation (module internals) whereas other languages opt to make this explicit (VHDL has specification/implementation). Because of this, it's difficult in Chisel to think about abstracting over implementations.

I've used the following recently as something towards this:

/** A [[Module]] mixin that exposes the type of the underlying IO
  * @tparam A the type of the [[Module]]'s IO
  */
trait Spec[A <: Record] { this: Module =>
  override val io: A
}

I was then able to write tests for any Module with Spec[A]. However, there then needs to be some means to convert between different module types and blackboxes. A typeclass interface object pattern worked here with toLegacy and toBlackBox methods.

This is likely related to programmatic IO discoverability.

[edwardcwang]

Related: #2

[ekiwi]

I think this is out of scope right now.