Persistent xSPI STT-MRAM with up to 400MB/s Read and Write Throughput.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE International Memory Workshop, 2022
5GHz SRAM for High-Performance Compute Platform in 5nm CMOS.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE Custom Integrated Circuits Conference, 2022
Commercialization of 1Gb Standalone Spin-Transfer Torque MRAM.
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE International Memory Workshop, 2021
Distance regularity in direct-product graphs.
Appl. Math. Lett., 2000
Specifying a Switch System Using IC.
Proceedings of the Proceedings IEEE INFOCOM '90, 1990
Automated Implementation from Formal Specification.
Proceedings of the Protocol Specification, 1984
A Language for the Specification and Analysis of Protocols.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983
Modelling Elapsed Time in Protocol Specification.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983