510 CHAPTER 8 Logic and circuit simulation REFERENCES R8.0 Books [Atkinson 1989] K. Atkinson, An Introduction to Numerical Analysis, John Wiley & Sons, New York, 1989. [Cheng 1999] C.-K. Cheng, J. Lillis, S. Lin, and N. Chang, Interconnect Analysis and Synthesis, John Wiley & Sons, New York, 1999. [Dunga 2007] M. V. Dunga, W. M. Yang, X. J. Xi, J. He, W. Liu, M. Cao, X. Jin, J. J. Ou, M. Chan, A. M. Niknejad, and C. Hu, BSIM4.6.1 MOSFET Model--User's Manual, University of California, Berkeley, CA, 2007. [IEEE 1076­2002] IEEE Standard, VHDL Language Reference Manual (IEEE Std. 1076-2002), IEEE Press, New York, 2002. [IEEE 1463-2001] IEEE Standard Description Language Based on the Verilog Hardware Descrip- tion Language (IEEE Std. 1463-2001), IEEE Press, New York, 2001. [Keiser 1979] B. E. Keiser, Principles of Electromagnetic Compatibility, Artech House, Dedham, MA, 1979. [Miczo 2003] A. Miczo, Digital Logic Testing and Simulation, 2nd ed., John Wiley & Sons, Hoboken, New Jersey, 2003. [Palnitkar 1996] S. Palnitkar, Verilog HDL: A Guide to Digital Design and Synthesis, Sunsoft, Mountain View, CA, 1996. [Rabaey 1996] J. M. Rabaey, Digital Integrated Circuits: A Design Perspective, Prentice-Hall, Upper