def Sparkle.Compiler.DRC.findDriver (body : List IR.AST.Stmt) (wireName : String) : Option IR.AST.Stmt

Find the statement that defines a given wire name

Equations

• One or more equations did not get rendered due to their size.

def Sparkle.Compiler.DRC.checkRegisteredOutputs (m : IR.AST.Module) : List String

Check that all output ports are driven by registers or synchronous memory reads. Returns a list of warning strings for violations.

Equations

• One or more equations did not get rendered due to their size.