Sizing and verification of communication buffers for communicating processes

• Authors:

• Tilman Kolks;Bill Lin;Hugo de Man

• Affiliations:

• IMEC v.z.w., Kapeldreef 75, B-3001 Leuven, Belgium;IMEC v.z.w., Kapeldreef 75, B-3001 Leuven, Belgium;IMEC v.z.w., Kapeldreef 75, B-3001 Leuven, Belgium

• Venue:
• ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
• Year:
• 1993