Welcome to Scribd!
Academic Documents
Professional Documents
Culture Documents
Hobbies & Crafts Documents
Personal Growth Documents
ASSERTION TRIED:ALWAYS_ACK_TX: assert always {not(pr_tx_start) ; pr_tx_start} |=> {[*0 to 22] ; vm_tx_doneand not(vm_rx_done) } ;
COUNTER EXAMPLE:NEW CODE: