定本 ASICの論理回路設計―高速・高信頼ディジタル・システ