First Page | Document Content | |
---|---|---|
![]() Date: 2008-03-23 19:52:58Electronic design automation Electronic design Logic in computer science And-inverter graph Retiming Logic optimization Combinational logic Automatic test pattern generation Logic programming Electronic engineering Formal methods Digital electronics | Add to Reading List |