danm v0.1.4 Danm.Assertion
An assertion is a design entity with some input ports that combined to a one bit value and cannot be 1
Link to this section Summary
Functions
asseriton wrap around an expression, optionally has a clock
create an asserion. all width assume to be 0 for now
Link to this section Functions
asseriton wrap around an expression, optionally has a clock
Link to this function
new(str, clk)
create an asserion. all width assume to be 0 for now