Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 274-291. Springer, (2002)TrueNorth: Design and Tool Flow of a 65 mW 1 Million Neuron Programmable Neurosynaptic Chip., , , , , , , , , and 8 other author(s). IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 34 (10): 1537-1557 (2015)IBM NorthPole Neural Inference Machine., , , , , , , , , and 22 other author(s). HCS, page 1-58. IEEE, (2023)Truenorth ecosystem for brain-inspired computing: scalable systems, software, and applications., , , , , , , , , and 36 other author(s). SC, page 130-141. IEEE Computer Society, (2016)The Ambiguity of Tense in the Japanese Mirative Sentence with Nante/Towa., and . JSAI-isAI Workshops, volume 12331 of Lecture Notes in Computer Science, page 325-340. Springer, (2019)Hybrid verification of a hardware modular reduction engine., , , , , and . FMCAD, page 207-214. FMCAD Inc., (2011)Combining ACL2 and an automated verification tool to verify a multiplier., and . ACL2, page 63-70. ACM, (2006)Development of Suspension-type Arresters for Transmission Lines, , , , , , and . IEEE Transactions on Power Delivery, 8 (3): 1-8 (July 1993)Verifying the FM9801 microarchitecture., and . IEEE Micro, 19 (3): 47-55 (1999)Processor Verification with Precise Exeptions and Speculative Execution., and . CAV, volume 1427 of Lecture Notes in Computer Science, page 135-146. Springer, (1998)