Assertion: digital circuit | /r/HasProperty | written in verilog
Facets:
value: usually
type: TEMPORAL
Source sentences:
text: Digital circuits are usually written in a RTL (Register-Transfer Level) language, such as Verilog or VHDL.