Ajeetha,CVC
* New Book: A Pragmatic Approach to VMM Adoption 2006 ISBN 0-9705394-9-5 http://www.systemverilog.us/
* SystemVerilog Assertions Handbook, 2005 ISBN 0-9705394-7-9
* Using PSL/SUGAR
Design Verification Consultant,
Contemporary Verification Consultants Private Limited,
Bangalore, India, http://www.noveldv.com
in assign statement
lhs is continuously assigned
but if we use it in an always block
it is a crime because , always block will be executed only at athe posedge of an event hence we may miss the values
yes, it's absolutely synthesizable.but , this kind of coding style may not acceptably
in many company.
useing the noblocking assignment would be a good choice when you need a dff.