Nathaniel Bleier, John Sartori, Rakesh Kumar. Property-driven Automatic Generation of Reduced-ISA Hardware. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 349-354, IEEE, 2021. [doi]
@inproceedings{BleierSK21, title = {Property-driven Automatic Generation of Reduced-ISA Hardware}, author = {Nathaniel Bleier and John Sartori and Rakesh Kumar}, year = {2021}, doi = {10.1109/DAC18074.2021.9586090}, url = {https://doi.org/10.1109/DAC18074.2021.9586090}, researchr = {https://researchr.org/publication/BleierSK21}, cites = {0}, citedby = {0}, pages = {349-354}, booktitle = {58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021}, publisher = {IEEE}, isbn = {978-1-6654-3274-0}, }