Jun Sawada

According to our database, Jun Sawada authored at least 23 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

11.4 IBM NorthPole: An Architecture for Neural Network Inference with a 12nm Chip.

Andrew S. Cassidy, John V. Arthur, Filipp Akopyan, Alexander Andreopoulos, Rathinakumar Appuswamy, Pallab Datta, Michael V. DeBole, Steven K. Esser, Carlos Ortega Otero, Jun Sawada, Brian Taba, Arnon Amir, Deepika Bablani, Peter J. Carlson, Myron D. Flickner, Rajamohan Gandhasri, Guillaume Garreau, Megumi Ito, Jennifer L. Klamo, Jeffrey A. Kusnitz, Nathaniel J. McClatchey, Jeffrey L. McKinstry, Yutaka Y. Nakamura, Tapan K. Nayak, William P. Risk, Kai Schleupen, Ben Shaw, Jay Sivagnaname, Daniel F. Smith, Ignacio Terrizzano, Takanori Ueda, Dharmendra S. Modha

Proceedings of the IEEE International Solid-State Circuits Conference, 2024

2023

IBM NorthPole Neural Inference Machine.

Dharmendra S. Modha, Filipp Akopyan, Alexander Andreopoulos, Rathinakumar Appuswamy, John V. Arthur, Andrew S. Cassidy, Pallab Datta, Michael V. DeBole, Steven K. Esser, Carlos Ortega Otero, Jun Sawada, Brian Taba, Arnon Amir, Deepika Bablani, Peter J. Carlson, Myron D. Flickner, Rajamohan Gandhasri, Guillaume Garreau, Megumi Ito, Jennifer L. Klamo, Jeffrey A. Kusnitz, Nathaniel J. McClatchey, Jeffrey L. McKinstry, Yutaka Y. Nakamura, Tapan K. Nayak, William P. Risk, Kai Schleupen, Ben Shaw, Jay Sivagnaname, Daniel F. Smith, Ignacio Terrizzano, Takanori Ueda

Proceedings of the 35th IEEE Hot Chips Symposium, 2023

2019

TrueNorth: Accelerating From Zero to 64 Million Neurons in 10 Years.

Michael V. DeBole, Brian Taba, Arnon Amir, Filipp Akopyan, Alexander Andreopoulos, William P. Risk, Jeff Kusnitz, Carlos Ortega Otero, Tapan K. Nayak, Rathinakumar Appuswamy, Peter J. Carlson, Andrew S. Cassidy, Pallab Datta, Steven K. Esser, Guillaume Garreau, Kevin L. Holland, Scott Lekuch, Michael Mastro, Jeffrey L. McKinstry, Carmelo di Nolfo, Brent Paulovicks, Jun Sawada, Kai Schleupen, Benjamin G. Shaw, Jennifer L. Klamo, Myron D. Flickner, John V. Arthur, Dharmendra S. Modha

Computer, 2019

The Ambiguity of Tense in the Japanese Mirative Sentence with Nante/Towa.

Osamu Sawada, Jun Sawada

Proceedings of the New Frontiers in Artificial Intelligence, 2019

2016

Truenorth ecosystem for brain-inspired computing: scalable systems, software, and applications.

Jun Sawada, Filipp Akopyan, Andrew S. Cassidy, Brian Taba, Michael V. DeBole, Pallab Datta, Rodrigo Alvarez-Icaza, Arnon Amir, John V. Arthur, Alexander Andreopoulos, Rathinakumar Appuswamy, Heinz Baier, Davis Barch, David J. Berg, Carmelo di Nolfo, Steven K. Esser, Myron Flickner, Thomas A. Horvath, Bryan L. Jackson, Jeff Kusnitz, Scott Lekuch, Michael Mastro, Timothy Melano, Paul A. Merolla, Steven E. Millman, Tapan K. Nayak, Norm Pass, Hartmut E. Penner, William P. Risk, Kai Schleupen, Benjamin G. Shaw, Hayley Wu, Brian Giera, Adam T. Moody, T. Nathan Mundhenk, Brian Van Essen, Eric X. Wang, David P. Widemann, Qing Wu, William E. Murphy, Jamie K. Infantolino, James A. Ross, Dale R. Shires, Manuel M. Vindiola, Raju Namburu, Dharmendra S. Modha

Proceedings of the International Conference for High Performance Computing, 2016

2015

TrueNorth: Design and Tool Flow of a 65 mW 1 Million Neuron Programmable Neurosynaptic Chip.

Filipp Akopyan, Jun Sawada, Andrew Cassidy, Rodrigo Alvarez-Icaza, John V. Arthur, Paul Merolla, Nabil Imam, Yutaka Y. Nakamura, Pallab Datta, Gi-Joon Nam, Brian Taba, Michael P. Beakes, Bernard Brezzo, Jente B. Kuang, Rajit Manohar, William P. Risk, Bryan L. Jackson, Dharmendra S. Modha

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

2014

Real-Time Scalable Cortical Computing at 46 Giga-Synaptic OPS/Watt with ~100× Speedup in Time-to-Solution and ~100, 000× Reduction in Energy-to-Solution.

Andrew S. Cassidy, Rodrigo Alvarez-Icaza, Filipp Akopyan, Jun Sawada, John V. Arthur, Paul Merolla, Pallab Datta, Marc González Tallada, Brian Taba, Alexander Andreopoulos, Arnon Amir, Steven K. Esser, Jeff Kusnitz, Rathinakumar Appuswamy, Chuck Haymes, Bernard Brezzo, Roger Moussalli, Ralph Bellofatto, Christian W. Baks, Michael Mastro, Kai Schleupen, Charles E. Cox, Ken Inoue, Steven E. Millman, Nabil Imam, Emmett McQuinn, Yutaka Y. Nakamura, Ivan Vo, Chen Guok, Don Nguyen, Scott Lekuch, Sameh W. Asaad, Daniel J. Friedman, Bryan L. Jackson, Myron Flickner, William P. Risk, Rajit Manohar, Dharmendra S. Modha

Proceedings of the International Conference for High Performance Computing, 2014

2013

Cognitive computing building block: A versatile and efficient digital neuron model for neurosynaptic cores.

Andrew S. Cassidy, Paul Merolla, John V. Arthur, Steven K. Esser, Bryan L. Jackson, Rodrigo Alvarez-Icaza, Pallab Datta, Jun Sawada, Theodore M. Wong, Vitaly Feldman, Arnon Amir, Daniel Ben Dayan Rubin, Filipp Akopyan, Emmett McQuinn, William P. Risk, Dharmendra S. Modha

Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

SyNAPSE: Jun Sawada.

Jun Sawada, Dharmendra S. Modha

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2011

Hybrid verification of a hardware modular reduction engine.

Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Automatic verification of estimate functions with polynomials of bounded functions.

Jun Sawada

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Scalable conditional equivalence checking: An automated invariant-generation based approach.

Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2006

Limited switch dynamic logic circuits for high-speed low-power circuit design.

Wendy Belluomini, Damir Jamsek, Andrew K. Martin, Chandler McDowell, Robert K. Montoye, Hung C. Ngo, Jun Sawada

IBM J. Res. Dev., 2006

ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool.

Jun Sawada, Erik Reeber

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Combining ACL2 and an automated verification tool to verify a multiplier.

Erik Reeber, Jun Sawada

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2002

Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability.

Jun Sawada, Warren A. Hunt Jr.

Formal Methods Syst. Des., 2002

Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.

Jun Sawada, Ruben Gamboa

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Derivation of a rotator circuit with homogeneous interconnect.

H. Peter Hofstee, Jun Sawada

Inf. Process. Lett., 2001

2000

Hardware Modeling Using Function Encapsulation.

Jun Sawada, Warren A. Hunt Jr.

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

Verifying the FM9801 microarchitecture.

Warren A. Hunt Jr., Jun Sawada

IEEE Micro, 1999

Results of the Verification of a Complex Pipelined Machine Model.

Jun Sawada, Warren A. Hunt Jr.

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Processor Verification with Precise Exeptions and Speculative Execution.

Jun Sawada, Warren A. Hunt Jr.

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Trace Table Based Approach for Pipeline Microprocessor Verification.

Jun Sawada, Warren A. Hunt Jr.

Proceedings of the Computer Aided Verification, 9th International Conference, 1997