Smith + Nephew

Xilinx, Inc.

Uday M Hegde

Kenneth W Krause

Michael A Brodsky

Kenneth R Woodland

Melanie Meier

Michael S Garcia

Elangovan Ramanathan

State machine generation for a multi-buffer electronic system can include receiving, using a processor, a user input specifying a reader policy and a number of a plurality of buffers used by a reader and a writer of the multi-buffer electronic system. A state machine can be generated as a data structure. The state machine has a plurality of states determined based on the number of the plurality of buffers and the reader policy. The state machine allocates different buffers of the plurality of buffers to the reader in temporally accurate order over time. Each state can specify an allocation from the plurality of buffers to the reader and the writer. A state machine description including one or more program code components can be generated, where the one or more program components may be used in an implementation of the reader and an implementation of the writer.

State machine generation for multi-buffer electronic systems

A system for treating tissue includes a device including a first member and a second member arranged to move relative to the first member to treat tissue. The system also includes a processor configured to automatically control movement of the second member relative to the first member using position control methodology. A method of treating tissue includes providing a device having a first member and a second member arranged to move relative to the first member, moving the second member relative to the first member, and automatically controlling the movement of the second member using position control methodology.

Powered surgical system

Growing community of inventors

Acton, MA, United States of America

Uday M Hegde