( en | de | ru )

 

Disambiguation of "Sawada, Jun"

Author of the publication

copydeleteadd this publication to your clipboard
Limited switch dynamic logic circuits for high-speed low-power circuit design.

, , , , , , and . IBM J. Res. Dev., 50 (2-3): 277-286 (2006)

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.

Tobias Sawada

Jun Jun Lu

Paul Akio Sawada

Paul Akio Sawada

Paul Akio Sawada

 

Other publications of authors with the same name

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)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)IBM NorthPole Neural Inference Machine., , , , , , , , , and 22 other author(s). HCS, page 1-58. IEEE, (2023)Hybrid verification of a hardware modular reduction engine., , , , , and . FMCAD, page 207-214. FMCAD Inc., (2011)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)Processor Verification with Precise Exeptions and Speculative Execution., and . CAV, volume 1427 of Lecture Notes in Computer Science, page 135-146. Springer, (1998)Results of the Verification of a Complex Pipelined Machine Model., and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 313-316. Springer, (1999)Verifying the FM9801 microarchitecture., and . IEEE Micro, 19 (3): 47-55 (1999)Combining ACL2 and an automated verification tool to verify a multiplier., and . ACL2, page 63-70. ACM, (2006)