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

Link to this function

%Danm.Assertion{}

(struct)

asseriton wrap around an expression, optionally has a clock

create an asserion. all width assume to be 0 for now