CPP: A Multi-Level Circuit Partitioning Predictor for Hardware Verification Systems.
Xinshi ZangLei ChenXing LiWilson W. K. ThongWeihua ShengEvangeline F. Y. YoungMartin D. F. WongPublished in: ACM Great Lakes Symposium on VLSI (2023)
Keyphrases
- digital circuits
- computer systems
- high speed
- real time
- asynchronous circuits
- circuit design
- data sets
- neural network
- management system
- intelligent systems
- software implementation
- computing systems
- high end
- hardware designs
- automated verification
- formal verification
- formal methods
- massively parallel
- hardware and software
- embedded systems
- building blocks
- distributed systems
- expert systems