( en | de | ru )

 

Disambiguation of "Mathur, Anmol"

Author of the publication

copydeleteadd this publication to your clipboard
An Efficient Assertion Checker for Combinational Properties.

, , and . DAC, page 734-739. ACM Press, (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.

Sanjay Mathur

Prashant Mathur

Jyotirmay Mathur

Jagdish Mathur

Chaitanya Mathur

 

Other publications of authors with the same name

Compression-relaxation: a new approach to performance driven placement for regular architectures., and . ICCAD, page 130-136. IEEE Computer Society / ACM, (1994)Efficient equivalence checking of multi-phase designs using phase abstraction and retiming., , and . ACM Trans. Design Autom. Electr. Syst., 3 (4): 600-625 (1998)Improved Merging of Datapath Operators using Information Content and Required Precision Analysis., and . DAC, page 462-467. ACM, (2001)An Efficient Assertion Checker for Combinational Properties., , and . DAC, page 734-739. ACM Press, (1997)Deep-Learning Based Beam Selection Technique for 6G Millimeter Wave Communication., , , , , and . PIMRC, page 1380-1385. IEEE, (2022)Timing Driven Placement Reconfiguration for Fault Tolerance and Yield Enhancement in FPGAs., and . ED&TC, page 165-169. IEEE Computer Society, (1996)Graph Transformations for Improved Tree Height Reduction., , , , , and . VLSI Design, page 474-479. IEEE Computer Society, (2003)RATAN: A tool for rate analysis and rate constraint debugging for embedded systems., , and . ED&TC, page 2-6. IEEE Computer Society, (1997)Applications of Slack Neighborhood Graphs to Timing Driven Optimization Problems in FPGAs., , and . FPGA, page 118-124. ACM, (1995)Rate analysis for embedded systems., , and . ACM Trans. Design Autom. Electr. Syst., 3 (3): 408-436 (1998)