메뉴 건너뛰기




Volumn , Issue , 2004, Pages 176-181

Optimal gate sizing for coupling-noise reduction

Author keywords

Coupling Noise; Fixpoint; Gate Sizing; Lattice Theory

Indexed keywords

CAPACITANCE; COMPUTER AIDED DESIGN; ELECTRIC RESISTANCE; ITERATIVE METHODS; PROBLEM SOLVING; SERVERS; SPURIOUS SIGNAL NOISE;

EID: 2942689381     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/981066.981104     Document Type: Conference Paper
Times cited : (5)

References (10)
  • 4
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
    • Los Angeles, CA, January
    • P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, CA, January 1977.
    • (1977) ACM Symposium on Principles of Programming Languages , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 10
    • 0141628926 scopus 로고    scopus 로고
    • Timing analysis with crosstalk is a fixpoint on a complete lattice
    • September
    • H. Zhou. Timing analysis with crosstalk is a fixpoint on a complete lattice. In IEEE Transactions on Computer-Aided Design, September 2003, pages 1261-1269.
    • (2003) IEEE Transactions on Computer-aided Design , pp. 1261-1269
    • Zhou, H.1


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