Describir: Finite element analysis and design of an interspinous device using topology optimization.