well i don't know it is proper, but i really need to know the difference between spice and verilog A i can't find the difference in google and other site, even AAC... please help me.