Fumihiro Maruyama

Learn More
This paper describes the total support system for DDL which has been approved by design engineers at Fujitsu. A simulator is used not only at register transfer level but also with gate level description. The translator generates gate level designs which are then optimized by designers. The verifier has powerful functions to detect conflicts in specification(More)
Most existing hardware design verification techniques (logic simulation, symbolic simulation etc.), as well as the design phase, are rather synthetic. This paper discusses an analytic verification technique with examples of its application. This technique employs backward symbolic simuation, or causality tracing, which is carried out from the negation of a(More)
1 Abstract We are applying ACL (Agent Communication Language) agent technologies to practical domains, such as virtual marketplace for distribution industry, access to online databases, and travel planning. In these domains, ontologies to make accesses to disparate databases possible are quintessential, and we are developing one. In this paper, we will(More)
We are doing research under the SAGE (Smart AGent Environment) project on seamless integration of information distributed over networks like the Internet. We avail ourselves of conversational agents speaking ACL (Agent Communication Language) as an enabling technology for such use of distributed information. We have applied SAGE to an inter-company EC(More)
We are making researches into seamless integration of information distributed over networks under the SAGE (Smart AGent Environment) project. In the SAGE, conversational agents speak in ACL (Agent Communication Language) and cooperate in solving problems focused on retrieval and integration of heterogeneous information. The SAGE consists of user agents(More)