20:
311:
157:
711:
328:
232:
322:
272:
350:
252:
502:
591:
487:
378:
606:
296:
616:
549:
690:
215:
596:
561:
586:
477:
460:
731:
171:
38:
139:
136:
133:
130:
127:
124:
121:
118:
115:
112:
109:
106:
103:
100:
97:
94:
91:
88:
85:
82:
79:
76:
73:
70:
67:
64:
59:
426:
726:
673:
191:
685:
512:
355:
527:
522:
517:
539:
399:
497:
411:
229:
421:
8:
641:
621:
636:
384:
25:
702:
576:
443:
663:
611:
601:
581:
389:
340:
45:
668:
482:
394:
256:
175:
33:
544:
293:
276:
195:
658:
646:
631:
300:
219:
54:
236:
720:
626:
372:
507:
448:
367:
212:
416:
345:
492:
571:
19:
154:
This category has the following 7 subcategories, out of 14 total.
438:
321:
The following 59 pages are in this category, out of 99 total.
566:
472:
15:
718:
318:Pages in category "Electronic design automation"
47:
351:Input/output Buffer Information Specification
503:Potential applications of carbon nanotubes
233:Electronic design automation organizations
592:Semiconductor intellectual property core
488:Placement (electronic design automation)
323:This list may not reflect recent changes
379:List of electrical engineering software
719:
607:Signoff (electronic design automation)
273:Satisfiability modulo theories solvers
149:
617:Silvaco Data Systems v. Intel Corp.
550:Resolution enhancement technologies
253:Electronic design automation people
13:
691:Universal Verification Methodology
332:
161:
148:
14:
743:
597:Semiconductor process simulation
18:
562:Satisfiability modulo theories
1:
587:Semiconductor device modeling
478:Physical design (electronics)
461:Open Verification Methodology
297:Timing in electronic circuits
316:
39:Electronic design automation
7:
427:Multi-project wafer service
10:
748:
674:Transaction-level modeling
32:The main article for this
31:
686:Ultra-large-scale systems
513:Power network design (IC)
356:Integrated circuit layout
528:Programmable logic array
523:Programmable Array Logic
518:Power optimization (EDA)
216:Electronics optimization
540:Register-transfer level
400:Low-power FSM synthesis
498:Platform-based design
412:Mask data preparation
422:Multi-channel length
732:Digital electronics
642:Symbolic simulation
622:Simulation software
172:IEEE DASC standards
637:Substrate coupling
385:Logic optimization
26:Electronics portal
727:Electronic design
703:VISC architecture
577:Schematic capture
444:Network on a chip
192:Network on a chip
739:
664:Test compression
612:Silicon compiler
602:Signal integrity
582:Schematic editor
545:Rent's rule
390:Logic simulation
381:
341:IC layout editor
302:
295:
278:
258:
238:
231:
221:
214:
197:
177:
28:
23:
22:
747:
746:
742:
741:
740:
738:
737:
736:
717:
716:
715:
709:
708:
707:
695:
678:
669:Touchstone file
651:
554:
532:
483:Place and route
465:
453:
431:
404:
395:Logic synthesis
377:
360:
315:
309:
308:
307:
304:
303:
292:
283:
280:
279:
263:
260:
259:
243:
240:
239:
228:
223:
222:
211:
202:
199:
198:
182:
179:
178:
147:
146:
145:
144:
50:
43:
24:
17:
12:
11:
5:
745:
735:
734:
729:
714:) (next page)
706:
705:
699:
696:
694:
693:
688:
682:
679:
677:
676:
671:
666:
661:
659:Technology CAD
655:
652:
650:
649:
647:Systems design
644:
639:
634:
632:Stuck-at fault
629:
624:
619:
614:
609:
604:
599:
594:
589:
584:
579:
574:
569:
564:
558:
555:
553:
552:
547:
542:
536:
533:
531:
530:
525:
520:
515:
510:
505:
500:
495:
490:
485:
480:
475:
469:
466:
464:
463:
457:
454:
452:
451:
446:
441:
435:
432:
430:
429:
424:
419:
414:
408:
405:
403:
402:
397:
392:
387:
382:
375:
370:
364:
361:
359:
358:
353:
348:
343:
337:
334:
333:
319:
314:) (next page)
306:
305:
291:
290:
287:
284:
282:
281:
271:
270:
267:
264:
262:
261:
251:
250:
247:
244:
242:
241:
227:
226:
224:
210:
209:
206:
203:
201:
200:
190:
189:
186:
183:
181:
180:
170:
169:
166:
163:
162:
152:
143:
142:
62:
57:
51:
49:
46:
44:
30:
29:
9:
6:
4:
3:
2:
744:
733:
730:
728:
725:
724:
722:
713:
712:previous page
704:
701:
700:
697:
692:
689:
687:
684:
683:
680:
675:
672:
670:
667:
665:
662:
660:
657:
656:
653:
648:
645:
643:
640:
638:
635:
633:
630:
628:
627:Standard cell
625:
623:
620:
618:
615:
613:
610:
608:
605:
603:
600:
598:
595:
593:
590:
588:
585:
583:
580:
578:
575:
573:
570:
568:
565:
563:
560:
559:
556:
551:
548:
546:
543:
541:
538:
537:
534:
529:
526:
524:
521:
519:
516:
514:
511:
509:
506:
504:
501:
499:
496:
494:
491:
489:
486:
484:
481:
479:
476:
474:
471:
470:
467:
462:
459:
458:
455:
450:
447:
445:
442:
440:
437:
436:
433:
428:
425:
423:
420:
418:
415:
413:
410:
409:
406:
401:
398:
396:
393:
391:
388:
386:
383:
380:
376:
374:
373:Lee algorithm
371:
369:
366:
365:
362:
357:
354:
352:
349:
347:
344:
342:
339:
338:
335:
331:) (next page)
330:
329:previous page
326:
324:
317:
313:
312:previous page
298:
294:
289:
288:
285:
274:
269:
268:
265:
254:
249:
248:
245:
234:
230:
225:
217:
213:
208:
207:
204:
193:
188:
187:
184:
173:
168:
167:
164:
160:) (next page)
159:
158:previous page
155:
151:Subcategories
150:
141:
138:
135:
132:
129:
126:
123:
120:
117:
114:
111:
108:
105:
102:
99:
96:
93:
90:
87:
84:
81:
78:
75:
72:
69:
66:
63:
61:
58:
56:
53:
52:
41:
40:
35:
27:
21:
16:
508:Power gating
449:Noise margin
368:Ladder logic
320:
153:
37:
417:Maze runner
346:IEC 61131-3
301:(1 C, 13 P)
220:(1 C, 20 P)
721:Categories
493:Planar SAT
237:(1 C, 2 P)
572:Schematic
48:Contents
34:category
439:Netlist
257:(38 P)
176:(10 P)
567:SCALD
473:PBIST
277:(3 P)
196:(4 P)
60:0–9
55:Top
36:is
723::
325:.
299:
275:
255:
235:
218:
194:
174:
710:(
698:V
681:U
654:T
557:S
535:R
468:P
456:O
434:N
407:M
363:L
336:I
327:(
310:(
286:T
266:S
246:P
205:O
185:N
165:I
156:(
140:Z
137:Y
134:X
131:W
128:V
125:U
122:T
119:S
116:R
113:Q
110:P
107:O
104:N
101:M
98:L
95:K
92:J
89:I
86:H
83:G
80:F
77:E
74:D
71:C
68:B
65:A
42:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.