Guest
i've started using verilog around 6 months back and used it to design
simple to moderately complex digital systems. As the design gets more
complex, i faced lot of problems in verifying the it with verilog as
the things i could do for verification is limited(at least to my
knowledge. It may be that im lacking the required knowledge on
techniques used for verification. please let me know if any one know
any resources where i can get that knowledge). For this reason i
wanted to move on to systemverilog, and started learning it. i was
surprised by the new feature set and started looking for good
simulators for it and found none that i could use (as im almost a
student). therefore im now considering the use of systemc for this
purpose. however im confused about the use of systemC. i need to know
1) the design/implementation flow with systemC.
2) with systemverilog, we are interacting with the actual RTL code
that will be synthesized and implemented, so any test that is
performed is valid for the actual implementation as well. but with
systemC, it seems like we are emulating the actual system we want and
perform tests on it and do a functional verification. when this is
done, we need to convert that systemC description to RTL code that
could be synthesized. i need to know about the typical effort required
in this transformation step, assuming im not going to depend on
synthesizable subset of systemC.
3) Is errors that can be found by systemC a subset of errors found
using systemverilog? can systemC support non-functional verification
like timing verification. If so is it a standard way of doing it?
hope someone can help me with these questions.
thank you.
simple to moderately complex digital systems. As the design gets more
complex, i faced lot of problems in verifying the it with verilog as
the things i could do for verification is limited(at least to my
knowledge. It may be that im lacking the required knowledge on
techniques used for verification. please let me know if any one know
any resources where i can get that knowledge). For this reason i
wanted to move on to systemverilog, and started learning it. i was
surprised by the new feature set and started looking for good
simulators for it and found none that i could use (as im almost a
student). therefore im now considering the use of systemc for this
purpose. however im confused about the use of systemC. i need to know
1) the design/implementation flow with systemC.
2) with systemverilog, we are interacting with the actual RTL code
that will be synthesized and implemented, so any test that is
performed is valid for the actual implementation as well. but with
systemC, it seems like we are emulating the actual system we want and
perform tests on it and do a functional verification. when this is
done, we need to convert that systemC description to RTL code that
could be synthesized. i need to know about the typical effort required
in this transformation step, assuming im not going to depend on
synthesizable subset of systemC.
3) Is errors that can be found by systemC a subset of errors found
using systemverilog? can systemC support non-functional verification
like timing verification. If so is it a standard way of doing it?
hope someone can help me with these questions.
thank you.