메뉴 건너뛰기




Volumn 18, Issue 7, 1999, Pages 918-935

Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; DATA HANDLING; GRAPH THEORY; MATHEMATICAL MODELS; RANDOM ACCESS STORAGE; SWITCHING CIRCUITS; TRANSISTORS;

EID: 0032641334     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/43.771176     Document Type: Article
Times cited : (25)

References (22)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.