Is there software for graph product calculation and visualization?
I think that Sage is the right thing for this task.

Example.

sage: G = digraphs.Circuit(40)  
sage: G = G.lexicographic_product(G)
sage: G.show()


Other graph products and algorithms are available as well.