Extending VLSI design with higher-order logic

A floorplan is a rectangle envelope subdivided by horizontal and vertical line segments into n nonoverlapping basic rectangles, having given dimensions and relative positioning (i.e. topology). This paper presents a formal algebraic specification ( i n SETS notation) appropriate for VLSI physical design layout, and capable of representing both the floorplan topology as well as the modules ' dimensions. The specification proposed allows a concise and rigorous representation of arbitrarily complex composite floorplans. This algebraic description unifies -under a rotation invariant single expression formalism -slicing and non-slicing generalized wheels jloorplans. A s needed b y specific floorplan algorithms, at supports either a topology dimensionless descripiton or the introduction of module dimensions.Finally, it allows a n eightfold reduction -over previous representations -of the total number offlooplan solutions considered in FP algorithms.

show abstract

Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans

Horta

Lima²

EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167)

View full text Add to dashboard Cite

show abstract

Integrating formal methods tools to support system design

Chin

Faust

Giordano

Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95

View full text Add to dashboard Cite

Hardware composition with hardware flowcharts and process algebras

Lu¹,

Kim²,

Chin³

Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (Held Jointly With 6th

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Extending VLSI design with higher-order logic

Cited by 3 publications

References 9 publications

Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans

Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans

Integrating formal methods tools to support system design

Hardware composition with hardware flowcharts and process algebras

Contact Info

Product

Resources

About