Pasquale Cocchini

According to our database, Pasquale Cocchini authored at least 13 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Towards A Correct-by-Construction FHE Model.

Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang

IACR Cryptol. ePrint Arch., 2023

An Automated Verification Framework for HalideIR-Based Compiler Transformations.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

An Equivalence Checking Framework for Agile Hardware Design.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Accelerator design with decoupled hardware customizations: benefits and challenges: invited.

Debjit Pal, Yi-Hsiang Lai, Shaojie Xiang, Niansong Zhang, Hongzheng Chen, Jeremy Casas, Pasquale Cocchini, Zhenkun Yang, Jin Yang, Louis-Noël Pouchet, Zhiru Zhang

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration.

Suvadeep Banerjee, Steve Burns, Pasquale Cocchini, Abhijit Davare, Shweta Jain, Desmond Kirkpatrick, Anton Sorokin, Jin Yang, Zhenkun Yang

CoRR, 2021

RHNAS: Realizable Hardware and Neural Architecture Search.

Yash Akhauri, Adithya Niranjan, J. Pablo Muñoz, Suvadeep Banerjee, Abhijit Davare, Pasquale Cocchini, Anton A. Sorokin, Ravi Iyer, Nilesh Jain

CoRR, 2021

2004

Repeater scaling and its impact on CAD.

Prashant Saxena, Noel Menezes, Pasquale Cocchini, Desmond Kirkpatrick

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

2003

A methodology for optimal repeater insertion in pipelined interconnects.

Pasquale Cocchini

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

The scaling challenge: can correct-by-construction design help?

Prashant Saxena, Noel Menezes, Pasquale Cocchini, Desmond Kirkpatrick

Proceedings of the 2003 International Symposium on Physical Design, 2003

2002

Concurrent flip-flop and repeater insertion for high performance integrated circuits.

Pasquale Cocchini

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

2000

Fanout optimization using bipolar LT-trees.

Pasquale Cocchini, Massoud Pedram

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1998

Fanout optimization under a submicron transistor-level delay model.

Pasquale Cocchini, Massoud Pedram, Gianluca Piccinini, Maurizio Zamboni

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997

A comprehensive submicrometer MOST delay model and its application to CMOS buffers.

Pasquale Cocchini, Gianluca Piccinini, Maurizio Zamboni

IEEE J. Solid State Circuits, 1997