Pasquale Cocchini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ASPDAC | An Equivalence Checking Framework for Agile Hardware Design. | Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang |
| 2023 | DATE | An Automated Verification Framework for HalideIR-Based Compiler Transformations. | Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang |
| 2022 | DAC | 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-Nol Pouchet, Zhiru Zhang |
| 2002 | ICCAD | Concurrent flip-flop and repeater insertion for high performance integrated circuits. | Pasquale Cocchini |
| 1998 | ICCAD | Fanout optimization under a submicron transistor-level delay model. | Pasquale Cocchini, Massoud Pedram, Gianluca Piccinini, Maurizio Zamboni |