A method for partitioning UNITY language in hardware and software

In this paper we introduce a method to partition UNITY system speci cations into software and hardware parts. This method considers di erent design possibilities and de nes cost functions to nd out the most suitable one under given design constraint in terms of hardware-software trade-o .