Low-power CMOS circuits : technology, logic design and CAD tools
	Tác giả: Christian Piguet
	Xuất bản: Boca Raton, FL: CRC/Taylor & Francis , 2006.
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.395  Thêm vào giỏ

Schaum's outline of theory and problems of electronic devices and circuits [electronic resource]
	Tác giả: Jimmie J Cathey
	Xuất bản: New York: McGraw-Hill , 2011
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.3815  Thêm vào giỏ

Troubleshooting electronic circuits : debugging and improving your DIY projects and experiments
	Tác giả: Ronald Quan
	Xuất bản: New York: McGraw-Hill , 2020
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.38154  Thêm vào giỏ

Professional verification : a guide to advanced functional verification
	Tác giả: Paul Wilcox
	Xuất bản: Boston: Kluwer Academic , c2004.
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.381548  Thêm vào giỏ

Information security policies and actions in modern integrated systems
	Tác giả: Carlo Bellettini, Mariagrazia Fugini
	Xuất bản: Hershey, PA: Idea Group Pub , 2004
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Hardware design verification : simulation and formal method-based approaches
	Tác giả: William K C Lam
	Xuất bản: Upper Saddle River, NJ: Prentice Hall Professional Technical Reference , 2005
	Bộ sưu tập: Khoa học ứng dụng
	eBook (chm) ddc:  621.392  Thêm vào giỏ

Functional verification coverage measurement and analysis
	Tác giả: Andrew Piziali
	Xuất bản: New York: Kluwer Academic Publishers , 2004
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  621.3815  Thêm vào giỏ

ASIC and FPGA verification elektronisk ressurs : a guide to component modeling
	Tác giả: Richard Munden
	Xuất bản: San Francisco, Calif: Morgan Kaufmann , 2004
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.395  Thêm vào giỏ

Principles of functional verification
	Tác giả: Andreas Meyer
	Xuất bản: Burlington, MA: Elsevier Science : Newnes , 2004
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.3815  Thêm vào giỏ

SAT-based scalable formal verification solutions
	Tác giả: Malay Ganai, Aarti Gupta
	Xuất bản: New York: Springer Science+Business Media , 2007
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.381548  Thêm vào giỏ