Source author record

Takeshi Shimizu

Takeshi Shimizu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

cond-mat.mtrl-sci cond-mat.str-el Logic in Computer Science

Catalog footprint

What is connected

3works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2012arXiv

Crystal Chemistry and Magnetic Properties of Manganese Zinc Alloy "YMn2Zn20" Comprising a Mn Pyrochlore Lattice

The chemical composition, crystal structure, and magnetic properties of a manganese zinc alloy with an ideal composition of YMn2Zn20, which comprises a pyrochlore lattice made of Mn atoms, are reported. The compound is stable only when In or Al is partially substituted for Zn. We have determined the actual chemical formula as YMn2+dZn20-x-dMx, with M = In or Al, and have identified the characteristic preferences with which the incorporated M and excess Mn atoms occupy the three crystallographic sites for Zn atoms. The Mn atoms in the pyrochlore lattice possess small magnetic moments that interact with each other antiferromagnetically but exhibit no long-range order above 0.4 K, probably owing to the geometrical frustration of the pyrochlore lattice. As a result, the effective mass of the conduction electrons is considerably enhanced, as observed in the related pyrochlore-lattice compounds (Y,Sc)Mn2 and LiV2O4. However, the presence of excess Mn atoms with large localized magnetic moments comparable to spin 5/2 tends to mask the inherent magnetism of the pyrochlore Mn atoms. It is suggested that "YMn2Zn18In2" with neither excess Mn atoms nor site disorder would be an ideal compound for further study.

preprint2010arXiv

Itinerant-Electron Magnet of the Pyrochlore Lattice: Indium-Doped YMn2Zn20

We report on a ternary intermetallic compound, "YMn2Zn20", comprising a pyrochlore lattice made of Mn atoms. A series of In-doped single crystals undergo no magnetic long-range order down to 0.4 K, in spite of the fact that the Mn atom carries a local magnetic moment at high temperatures, showing Curie-Weiss magnetism. However, In-rich crystals exhibit spin-glass transitions at approximately 10 K due to a disorder arising from the substitution, while, with decreasing In content, the spin-glass transition temperature is reduced to 1 K. Then, heat capacity divided by temperature approaches a large value of 280 mJ K-2 mol-1, suggesting a significantly large mass enhancement for conduction electrons. This heavy-fermion-like behavior is not induced by the Kondo effect as in ordinary f-electron compounds, but by an alternative mechanism related to the geometrical frustration on the pyrochlore lattice, as in (Y,Sc)Mn2 and LiV2O4, which may allow spin entropy to survive down to low temperatures and to couple with conduction electrons.

preprint2007arXiv

A Formal Verification Methodology for Checking Data Integrity

Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verification is to define good verification scopes; we should define clearly what to be verified formally upon designs under tests. We considered the following three practical requirements when we defined the scope of formal verification. They are (a) hard to verify (b) small to handle, and (c) easy to understand. Our novel approach is to break down generic properties for system into stereotype properties in block level and to define requirements for Verifiable RTL. Consequently, each designer instead of verification experts can describe properties of the design easily, and formal model checking can be applied systematically and thoroughly to all the leaf modules. During the development of a component chip for server platforms, we focused on RAS (Reliability, Availability, and Serviceability) features and described more than 2000 properties in PSL. As a result of the formal verification, we found several critical logic bugs in a short time with limited resources, and successfully verified all of them. This paper presents a study of the functional verification methodology.