@inproceedings{ShrivastavaVLSI00,<br>
 author = {Aviral Shrivastava and Mohit Kumar and Sanjiv Kapoor and Shashi Kumar and M. Balakrishnan},<br>
 title = {Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming},<br>
 booktitle = {VLSID '00: Proceedings of the 13th International Conference on VLSI Design},<br>
 year = {2000},<br>
 isbn = {0-7695-0487-6},<br>
 pages = {110},<br>
 publisher = {IEEE Computer Society},<br>
 address = {Washington, DC, USA},<br>
 }