Author of the publication

Performance verification using partial evaluation and interval analysis.

, , and . ED&TC, page 622. IEEE Computer Society, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Analysis of the Satisfiability Attack Against Logic Encryption Using Synthetic Benchmarks., , and . iSES, page 445-450. IEEE, (2022)SoC Trust Validation Using Assertion-Based Security Monitors., , , and . ISQED, page 496-503. IEEE, (2021)Simulation based architectural power estimation for PLA-based controllers., and . ISLPED, page 121-124. IEEE, (1996)Scheduling for low power under resource and latency constraints., and . ISCAS, page 53-56. IEEE, (2000)Accuracy driven performance macromodeling of feasible regions during synthesis of analog circuits., , and . ACM Great Lakes Symposium on VLSI, page 482-487. ACM, (2005)LiPaR: A light-weight parallel router for FPGA-based networks-on-chip., , , and . ACM Great Lakes Symposium on VLSI, page 452-457. ACM, (2005)Moment-driven coupling-aware routing methodology., and . ACM Great Lakes Symposium on VLSI, page 390-395. ACM, (2005)Component Characterization and Constraint Transformation Based on Directed Intervals for Analog Synthesis., , and . VLSI Design, page 589-596. IEEE Computer Society, (1999)Behavioral Partitioning in the Synthesis of Mixed Analog-Digital Systems., and . DAC, page 133-138. ACM, (2001)Improving the Schedule Quality of Static-List Time-Constrained Scheduling., and . DATE, page 749. IEEE Computer Society / ACM, (2000)