A mechanically derived systolic implementation of pyramid initialization

• Authors:

• Christian Lengauer;Bikash Sabata;Farshid Arman

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects
• Year:
• 1990