aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/firrtl/transforms/formal/ConvertAsserts.scala
AgeCommit message (Collapse)Author
2021-09-23transforms.formal: ensure named statements as output (#2367)Kevin Laeufer
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-08-14All of src/ formatted with scalafmtchick
2020-06-26Add ConvertAsserts transform to map asserts to Verilog-friendly nodesAlbert Magyar
* ConvertAsserts maps each assert into a gated print-and-stop * ConvertAsserts is an optional prereq of RemoveVerificationStatements * ConvertAsserts generates Low FIRRTL * Drop print for asserts that have an empty message * Fix scaladoc formatting from review Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>