作者nextme (^^ 嘿嘿嘿)
看板NTUGIEE_EDA
标题Re: Logic Synthesis HW 1
时间Sat Oct 1 12:06:29 2005
※ 引述《enorm (give and believe)》之铭言：
: 1. 应该就是证明 the uniqueness of inverses？
: 2. 我觉得超难，连 aa=a, 1+a=1, a0=0, a+(b+c)=(a+b)+c, a(bc)=(ab)c 都要证
: 3. function table 跟 truth table 有什麽不同啊？差一行 f？
: 4. 步骤是化简出来以後，再去检查哪些 f 是对的？
3. 我直接丢一个truth table给他耶
4. verification的部份 怎麽去检查哪些f是对的呀??
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.112.81.244